EthVer

MaRDI QIDQ1352130swMATHFDO

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