coinatory.com
VeriSol - Verifier for Solidity under development by Microsoft - Coinatory
In its blog, Microsoft announced the development of an open formal verification scheme for smart Ethereum contracts in the Solidity programming language. The tool will be called VeriSol (Verifier for Solidity) – it will allow developers to write specifications for smart contracts, which can then be tested using mathematical logic. The Microsoft blog says that …