文件名称：smart-contracts
文件大小：9.95MB
文件格式：ZIP
更新时间：2024-06-08 00:23:30
JavaScript
SmartContracts-VeriSolid框架 内容 特征 基于Web的协作式自动版本化开发。 专用过渡系统编辑器。 在左上角，您可以看到该工具提供的插件，用于：1）通过设计模式添加功能； 2）生成Solidity代码，以及3）验证智能合约。 完全集成的Solidity代码开发。 运行VerifyContract插件时以自然语言编写安全性属性的模板。 如果未指定任何属性，该工具仍将验证无死锁。 我们已经完全集成了BIP和NuSMV验证工具。 验证结果返回给用户。 如果安全属性不为true，则VeriSolid返回使该属性无效的反示例。 模型各个级别的可嵌入文档。 如何安装VeriSolid？ 首先，安装以下内容： （V4.XX推荐） 要克隆存储库，请首先安装（如果需要）： 然后将存储库克隆到您的首选目录中，例如： cd /home/$USER git clone