一个案例说明高层属性形式化验证

Beosin-VaaS的业务逻辑验证软件,是一款用来检测智能合约上层业务逻辑漏洞的软件。

  • 发表于 2020-01-10 10:19
  • 阅读 ( 83 )
  • 学分 ( 0 )
  • 分类:资讯

0 条评论

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

9 篇文章

作家榜 »

  1. Tiny熊 89 文章
  2. Star Li 22 文章
  3. 晓娜 19 文章
  4. NoneAge 18 文章
  5. 杨尉 16 文章
  6. 安比实验室 14 文章
  7. 金晓 12 文章
  8. 清源 11 文章

文章目录