Contract verification: Solidity vs Move

An open dataset for the comparison of formal verification in Solidity and Move.

Details on the comparison are available in the following research paper:

• M. Bartoletti, S. Crafa, E. Lipparini. Formal verification in Solidity and Move: insights from a comparative analysis. In Workshop on Formal Methods in Blockchain (FMBC), 2025.

Contracts and properties

• Bank
• Vault
• Price bet

Verification experiments

• Bank
• Vault
• Price bet

References

Certora

• Certora
• Certora specification language
• Certora examples

Move prover

• Move prover
• User guide
• Move specification language
• Move Prover Supporting Resources
• Move Prover examples