- Formal Verification of Solidity Contracts using Why3 https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts 3 comments ethereum
Linking pages
- Why I’m short Ethereum (and long Bitcoin) | by Tuur Demeester | Medium https://medium.com/@tuurdemeester/why-im-short-ethereum-and-long-bitcoin-aee5b1c198fd#.ur8y92bs7 73 comments
- Ethereum Dev Update 2015 / Week 44 | Ethereum Foundation Blog https://blog.ethereum.org/2015/11/02/ethereum-dev-update-2015-week-44/ 9 comments
Related searches:
Search whole site: site:forum.ethereum.org
Search title: Formal Verification for Solidity Contracts — Ethereum Community Forum
See how to search.