Microsoft announces VeriSol: Ethereum smart contract verification | CryptoSlate

Microsoft announced the development of an open-source formal Ethereum smart contract verification scheme for the Solidity programming language.

Source of shared Link

---