- 1、本文档共18页,其中可免费阅读17页,需付费10金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方,所产生的收益全部归内容提供方所有。如果您对本文有版权争议,可选择认领,认领后既往收益都归您。
- 3、本文档由用户上传,本站不保证质量和数量令人满意,可能有诸多瑕疵,付费之前,请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形,可联系本站下载客服投诉处理。
- 4、文档侵权举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
本发明公开了一种用于智能合约代码设计生成的EB2S系统,包括:EB2S插件以及Rodin平台,EB2S插件为Rodin的插件,EB2S插件调用Rodin平台提供的API输入一个Event‑B模型,获取Event‑B模型中的元素,元素包括集合、常量、公理、变量、事件;然后EB2S工具应用转换规则得到对应的Solidity合约文件。还公开了EB2S系统的使用方法,包括:安装Rodin平台,并同时安装该EB2S插件;打开EB2S插件后,会弹出一个交互界面,用户通过中间的下拉菜单选择需要转换的项目名称,
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 114153435 A
(43)申请公布日 2022.03.08
(21)申请号 202111438865.2
(22)申请日 2021.11.29
(71)申请人 北京航空航天大学
地址
您可能关注的文档
- 盘根泄露检测系统及方法.pdf
- 一种橡胶密封垫生产使用的改性设备.pdf
- 一种船舶调节式可视化水封装置.pdf
- 一种检查光刻工艺微小失焦的方法.pdf
- 一种施工现场扬尘抑制装置.pdf
- 一种红绿灯的转换方法及装置.pdf
- 一种皮层下通路的功能检测系统及方法.pdf
- 一种知识图谱构建方法、装置、电子设备及存储介质.pdf
- 一种基于全景三维交互混合现实的全息数据处理方法.pdf
- 基于连阴雨灾害预警模型的苹果园灾害预警方法.pdf
- 银行贷款风险分类管理办法.pdf
- 生理学第9章感觉器官习题.pdf
- 私募基金管理人重大事项变更合规要点.pdf
- 成品保护专项措施工方案.pdf
- 微机原理课程设计按键控制发光二极管2.pdf
- 甘肃省天水一中2024_2025学年高二化学上学期第一学段考试试题.doc
- 全国统考2024高考历史一轮复习第十二单元近现代中国的思想解放理论成果及科技文化第32讲近代中国的思想解放潮流课时作业含解析新人教版.doc
- 江苏专用2025版高考物理一轮复习第12章热学第3节热力学定律与能量守恒定律学案.doc
- 2024_2025学年新教材高中化学第七章机化合物第3节第2课时乙酸学案新人教版必修2.doc
- 新高考辽宁专版2025届高三生物下学期4月模拟培优卷五.doc
最近下载
提供农业、铸造、给排水、测量、发电等专利信息的免费检索和下载;后续我们还将提供提供专利申请、专利复审、专利交易、专利年费缴纳、专利权恢复等更多专利服务。并持续更新最新专利内容,完善相关专利服务,助您在专利查询、专利应用、专利学习查找、专利申请等方面用得开心、用得满意!
文档评论(0)