The Move Prover. - Jingyi Emma Zhong; Kevin Cheang; Shaz Qadeer; Wolfgang Grieskamp; Sam Blackshear; Junkil Park; Yoni Zohar; Clark W. Barrett; David L. Dill (CAV (1), 2020)

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 (TACAS (1), 2022)