Skip to content
Contract verification made easier
blog.trailofbits.com | blog | #web3 | #smart-contracts | #formal-verification | #solidity | #echidna | #symbolic-execution | #manticore
Summary
manticore-verifier lets Solidity developers express security properties in Solidity and automatically verify them via symbolic execution; property tests are format-compatible with Echidna.
- Published
- Collected