47 citations · 98 across the 10 of their papers we have counts for
1 paper · 1 filter
David Dill, Wolfgang Grieskamp, Junkil Park +3
The Move Prover (MVP) is a formal verifier for smart contracts written in the Move programming language. MVP has an expressive specification language, and is fast and reliable enou…