VeriSol: A formal verifier for Solidity based smart contracts

Established: April 15, 2019

Groups

Research in Software Engineering (RiSE)

Established: November 24, 2008

RiSE coordinates Microsoft’s Research in Software Engineering in Redmond, USA. Our mission is to advance the state of the art in Software Engineering and to bring those advances to Microsoft’s businesses.