Formal Verification for Move: Using Certora SUI prover
A multi-part deep dive into mathematically proving your smart contracts are secure.
Jan 18, 20264 min read13
Command Palette
Search for a command to run...
Series
Formal Verification
In this series I will deep dive into formal verification in Move using Certora SUI prover