链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。
举报
简体版
|
繁體版
链闻 ChainNews 区块链新闻快讯资讯媒体
首页
快讯
专栏
推荐专栏
所有专栏
申请开通专栏
热门
···
链闻邮件订阅 Newsletter
区块链论文大全
简体版
繁體版
链闻 APP
链闻 App
扫码下载
下载 iPhone 版
下载 Android 版
登录
热门:
观点
项目
比特币
技术
投资
交易所
以太坊
政策法规
DeFi
公链
币安
稳定币
区块链
安全
ChainEvent
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文章和快讯
2019年6月4日 20:10
微软提出开源形式验证工具 VeriSol,提升智能合约质量
微软研究院在博客中提出开源形式验证工具 VeriSol (Verifier for Solidity),目的是提高使用 Solidity (为以太坊区块链构建的编程语言)子集编写的智能合约的质量。微软研究院表示,尽管 VeriSol 迄今仍然是一个主要由 Azure 智能合约驱动的原型,但研究人员对其期望很高,同时也在鼓励开放协作以促进形式验证发展并引入主流智能合约开发中。
以太坊
技术
智能合约
VeriSol
下载链闻 App
24 小时追踪区块链行业资讯、热点头条、事实报道、深度洞察。
iPhone 版
Android 版
邮件订阅
金融科技决策者们都在看的每日简报与深度分析,「链闻」帮你划重点。
往期邮件列表 ↗
订阅邮件
下载链闻 APP
链闻 App
扫码下载
下载 iPhone 版
下载 Android 版
微信公众号
扫码关注
chainnewscom
返回页面顶部
返回链闻首页
WeChat
Weibo
Facebook
Twitter
LinkedIn
Telegram
Medium
GitHub
RSS
收藏
区块链搜索
区块链移动 App
Email
Up
Home
Apple
Android