In Formal Verification Push, Ethereum Seeks Smart Contract Certainty

source: CoinDesk

2016. Sep. 28. 20:07

In Formal Verification Push, Ethereum Seeks Smart Contract Certainty CoinDesk spotlights the factors driving ethereum's coding community to embrace the concept of formal verification for smart contracts.

Source

Keywords

Ethereum Features Technology Devcon2 Featured Smart Contracts Solidity