⚠️Blast API (blastapi.io) ends Oct 31. Migrate to Dwellir and skip Alchemy's expensive compute units.
Switch Today →
Skip to main content

formal_verification

Specify invariants and specifications, then run Move Prover to validate safety properties. Aim to cover critical assets and state transitions.