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:
CoRR (2021)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
theorem prover
temporal logic
theorem proving
program slicing
supply chain
object oriented
cost effective
automated theorem proving
reinforcement learning
functional verification