Login / Signup
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
Published in:
TACAS (1) (2022)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
theorem proving
program slicing
smart environments
supply chain
cost effective
theorem prover
functional verification
proof search