链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

VeriSol

VeriSol新闻快讯文章, VeriSol深度文章, VeriSol快讯, 区块链VeriSol, VeriSol是什么, VeriSol介绍, VeriSol解读, VeriSol项目, 三分钟了解VeriSol, 秒懂VeriSol, 如何评价VeriSol, VeriSol怎么样, VeriSol创始人, VeriSol招聘, VeriSol融资, VeriSol价格, VeriSol技术, VeriSol社区, VeriSol论坛, VeriSol浏览器, VeriSol排名, VeriSol白皮书, VeriSol本质, VeriSol意义, VeriSol代码, VeriSol游戏, VeriSol什么意思, VeriSol学习, VeriSol培训, VeriSol教程, VeriSol投资, VeriSol赚钱, VeriSol安全, VeriSol漏洞

微软提出开源形式验证工具 VeriSol,提升智能合约质量

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