基于VS-Code插件的智能合约自动形式化验证工具Beosin-Vaas离线免费版

11月4日,成都链安重磅推出离线免费版智能合约自动形式化验证工具Beosin—VaaS,该版本基于流行的开发工具VS Code插件,供广大开发者免费使用。获得方式如下,欢迎体验使用: https://beosin.com/#/

本文参与深入浅出区块链写作激励计划 ,欢迎正在阅读的你也加入。

  • 发表于 2019-11-05 11:48
  • 阅读 ( 2322 )
  • 学分 ( 20 )
  • 分类:安全/漏洞

0 条评论

请先 登录 后评论
Beosin 成都链安
Beosin 成都链安

10 篇文章, 169 学分