[发明专利]一种自动化校验的合约形式化验证方法在审
| 申请号： | 201911099983.8 | 申请日： | 2019-11-12 |
| 公开（公告）号： | CN110806982A | 公开（公告）日： | 2020-02-18 |
| 发明（设计）人： | 戴卫国;郭建奇;傅昊;戴元熙 | 申请（专利权）人： | 北京芯际科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F16/27;G06Q40/04 |
| 代理公司： | 北京科亿知识产权代理事务所(普通合伙) 11350 | 代理人： | 汤东凤 |
| 地址： | 100191 北京市海淀*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种自动化校验的合约形式化验证方法，所述方法包括：S1构建区块链网络用于执行智能合约合约贡献者上传合约；S2参考编译器，编写一套自动化合约检查程序，包括模型检查、合约解释、元数据检查合约模板平台接收合约和展示合约，做好审核和监管义务；S3通过形式化验证的合约可以部署到区块链上合约使用者选取最适合的模板，通过参数调用模板。本发明有益效果在于，通过区块链智能合约形式化验证，可以有效找出合约存在的问题，提醒开发者及时解决相关的bug，进行高效开发，减少错误合约部署到区块链时的反复验证操作。 | ||
| 搜索关键词： | 一种 自动化 校验 合约 形式化 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京芯际科技有限公司，未经北京芯际科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201911099983.8/，转载请声明来源钻瓜专利网。
