Manticore

swMATH37691MaRDI QIDQ53392FDOQ53392

Author name not available (Why is that?)

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

Cited In (2)

• EthVer: formal verification of randomized Ethereum smart contracts
• Compositional verification of smart contracts through communication abstraction

This page was built for software: Manticore