微软研究院在博客中提出开源形式验证工具 VeriSol （Verifier for Solidity），目的是提高使用 Solidity （为以太坊区块链构建的编程语言）子集编写的智能合约的质量。微软研究院表示，尽管 VeriSol 迄今仍然是一个主要由 Azure 智能合约驱动的原型，但研究人员对其期望很高，同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。

来源链接