Manticore

MaRDI QIDQ53392swMATHFDO

Official website https://ieeexplore.ieee.org/abstract/document/8952204

Source code repository https://github.com/trailofbits/manticore

Cited in

(7)

• VerX
• EthVer: formal verification of randomized Ethereum smart contracts
• Mythril
• EthVer
• solc-verify
• solgraph
• Compositional verification of smart contracts through communication abstraction

This page was built for software: Manticore