TY  - RPRT
TI  - Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
AU  - David Dill
AU  - Wolfgang Grieskamp
AU  - Junkil Park
AU  - Shaz Qadeer
AU  - Meng Xu
AU  - Emma Zhong
PY  - 2022
UR  - https://arxiv.org/abs/2110.08362
ID  - 2110.08362
ER  -