VeriSol: A formal verifier for Solidity based smart contracts

Établi: novembre 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.