形式化驗證工具之離線免費版Beosin—VaaS

形式化驗證工具之離線免費版Beosin—VaaS 近期，筆者注意到一款智能合約自動形式化驗證工具Beosin—VaaS推出了離線免費版。所謂**「離線免費版」，相較於之前該公司推出的在線免費版、企業版而言，亮點自然不言而喻。對於開發者來說，離線版的驗證工具將提供一個不聯網的測試環境，在很大程度上能從根源上將黑客攻擊的可能拒之門外。 經筆者測試，雖然這次推出的版本爲免費版，但功能毫不遜色，依然能有效

>>阅读原文<<