@misc{indiciaeaa5512059e06,
  title = {Fast and Reliable Formal Verification of Smart Contracts with the Move Prover},
  author = {David Dill and Wolfgang Grieskamp and Junkil Park and Shaz Qadeer and Meng Xu and Emma Zhong},
  year = {2022},
  url = {https://arxiv.org/abs/2110.08362},
  note = {Source identifier: 2110.08362}
}