Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.

David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong

Browse the full TACAS paper archive.