EthVer

swMATH42609MaRDI QIDQ1352130

No author found.

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

Described by source

• EthVer: formal verification of randomized Ethereum smart contracts

This page was built for software: EthVer