Microsoft Announces VeriSol: New Tool for Verifying Ethereum Smart Contracts10

On June 3rd, the Microsoft Research team announced a new verification tool for securing smart contracts written in Solidity, the predominant programming language of the Ethereum network.

That tool, dubbed VeriSol, was produced in a collaborative effort between Microsoft Research, the tech giant’s innovation arm, and Microsoft Azure Blockchain, the company’s cloud computing arm aimed at helping enterprises and institutions easily build their own blockchain applications.

Original source

Add comment

Please Sign in to be able to leave comments.