Microsoft Announces New Open Source Form Verification Tool VeriSol to Improve Smart Contract Quality

According to CryptoGlobe, Microsoft Research has released a new open source formal verification tool on its blog. The tool is designed to improve the quality of smart contracts written using a subset of Solity, the programming language built for the Ethereum blockchain. The new tool, called VeriSol (Verifier for Solidity), appeared in an academic paper that outlines the design and application of Microsoft Azure blockchain smart contract verification. According to a blog post, although VeriSol is still a prototype driven primarily by Azure Smart Contracts, researchers have high expectations and are encouraging open collaboration to facilitate formal verification development and introduction into mainstream smart contract development.