 |
|
Standard
| T/CIE 130-2022 (English Version) |
|
|
|
|
|
|
|
|
Detail of T/CIE 130-2022
| Standard No. |
|
| English Name |
|
| Chinese Name |
|
| Chinese Classification |
|
| Professional Classification |
|
| ICS Classification |
|
| Issued by |
|
| Issued on |
|
| Implemented on |
|
| Status |
|
| Superseded by |
|
| Superseded on |
|
| Abolished on |
|
| Superseding |
|
| Language |
|
| File Format |
| Word Count |
| Price(USD) |
|
| Keywords |
|
Introduction of T/CIE 130-2022
本文件提供了区块链智能合约形式化设计与验证方法及流程，主要包括需求描述、形式化建模、模型转换、形式化验证、自动代码生成、一致性测试的方法。
本文件适用于采用形式化方法开展区块链智能合约设计与验证。
Contents of T/CIE 130-2022