Manticore

swMATH37691MaRDI QIDQ53392FDOQ53392

Author name not available (Why is that?)

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

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

Cited In (7)

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

This page was built for software: Manticore