Manticore
From MaRDI portal
Software:53392
No author found.
Source code repository: https://github.com/trailofbits/manticore
Related Items (2)
Compositional verification of smart contracts through communication abstraction ⋮ EthVer: formal verification of randomized Ethereum smart contracts
This page was built for software: Manticore