FORMAL VERIFICATION
5 articles tagged "formal verification"
Halmos symbolic testing tutorial: prove your properties
A complete tutorial on using Halmos for symbolic execution of Solidity. Write proofs instead of tests, get mathematical guarantees, and catch bugs fuzzers miss.
Certora CVL tutorial: a practitioner's guide to writing specs
A practical guide to writing Certora CVL specs. Covers the language basics, real DeFi patterns, common pitfalls, and when Certora shines vs fuzzing.
Formal verification vs fuzzing: the definitive guide
Formal verification proves properties exhaustively. Fuzzing finds bugs probabilistically. Here's when each approach wins, what they miss, and how to combine them.
Fuzzing + formal verification + invariant testing: combining them all
Write properties once, run them everywhere. Here's how to combine fuzzing, formal verification, and invariant testing in a single workflow using Chimera.
Move smart contract security: testing patterns for Aptos and Sui
Move's type system prevents some Solidity bugs but introduces new ones. Here's how to test Move contracts on Aptos and Sui, including the built-in Move Prover.