With Formal Verification, Ethereum Looks for Smart Contract Certainty

source: CoinDesk

2016. Sep. 28. 20:07

With Formal Verification, Ethereum Looks for 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