Microsoft announced the development of an open-source formal Ethereum smart contract verification scheme for the Solidity programming language. Announced on the Microsoft blog, the tool will be called VeriSol–Verifier for Solidity. VeriSol will enable developers to write specifications for their contracts using an intermediate language that can then be tested using mathematical logic machinery. The Microsoft […]The post Microsoft announces VeriSol: smart contract verification for Ethereum appeared first on CryptoSlate.