The Move Prover 🌐

The Move Prover :globe_with_meridians:

The Move Prover supports formal verification of Move code—automatically validating logical properties of the smart contract. :closed_lock_with_key:

How to formally verify your smart contracts on Aptos in 2 simple steps:

:one: Define your smart contract specifications
:two: Invoke the Move Prover, which checks whether ANY possible input can break the user-specified behavior

Alex (Co-founder of Econia) explains how Econia v4 was tested to 100% coverage and why it matters :point_down:

Explore Move Prover User Guide for more Information:

30 Likes

Wooh letse go! That’s amazing! Aptos is the MOVEment​:sunglasses::globe_with_meridians:

13 Likes

HMM…this is great…simple way to do that.
it gets easier daily

13 Likes

Great, Aptos will be huge. To the moon soon :rocket: . Just buy & hodl

12 Likes

Definitely great… indeed impressive seeing great development in project as well as outstanding team management,…

This show a great potential in future or time coming…aptos we will all be there​:rocket::rocket::rocket:

12 Likes

Not a programmer, but I can deduce that this will ease the use of MOVE on Aptos.

13 Likes