形式化验证工具之离线免费版Beosin—VaaS

形式化验证工具之离线免费版Beosin—VaaS 近期，笔者注意到一款智能合约自动形式化验证工具Beosin—VaaS推出了离线免费版。所谓**“离线免费版”，相较于之前该公司推出的在线免费版、企业版而言，亮点自然不言而喻。对于开发者来说，离线版的验证工具将提供一个不联网的测试环境，在很大程度上能从根源上将黑客攻击的可能拒之门外。 经笔者测试，虽然这次推出的版本为免费版，但功能毫不逊色，依然能有效

>>阅读原文<<