关于《区块链 智能合约 形式化设计与验证方法》 团体标准公开征求意见的通知

各有关单位：

根据乐鱼APP官网登录入口团体标准制修订计划，《区块链 智能合约 形式化设计与验证方法》团体标准已完成基本编制工作。为进一步听取社会各界的意见和建议，避免出现可能存在的知识产权纠纷，按照《乐鱼APP官网登录入口标准制修订工作程序》相关规定，现予以公开征求意见。

如有反馈意见，请填写附件2《标准意见反馈表》并于2022年2月26日17点前以电子邮件形式回复至邮箱：lijiebwu@163.com（请务必于反馈邮件正文注明反馈单位和反馈人姓名）。

附件：

1.附件1：《区块链 智能合约 形式化设计与验证方法》（征求意见稿）.pdf

2.附件2：标准意见反馈表.docx

联 系 人：李洁

联系电话：010-82339460

电子邮件：lijiebwu@163.com

乐鱼APP官网登录入口区块链分会

2022年1月27日