discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Why3 – A platform for deductive program verification
http://why3.lri.fr/
6 comments
3/11/2018
Reddit
Formal Verification of Solidity Contracts using Why3
https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts
3 comments
27/10/2015
ethereum