EthVer

swMATH42609MaRDI QIDQ1352130FDOQ1352130

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-662-63958-0_30

Source code repository: https://github.com/lukmaz/ethver

Described by source

• EthVer: formal verification of randomized Ethereum smart contracts

Cited In (3)

• Manticore
• Mythril
• solgraph

This page was built for software: EthVer