T/CIE 130-2022 Active Group standards

T/CIE 130-2022 Blockchain formal design and verification methods for smart contracts

Publish Date: 2022-03-28 Implement Date: 2022-05-01 For services related to genuine standard inquiry, procurement, translation, and other related services in China, please Contact Us

Price: $ 20.00

Out of stock

Basic Information

Standard Code: T/CIE 130-2022

Standard Type: Group standards

Standard Status: Active

is_force_gb: no

CCS Name: Programming language

ICS Name: Language used in information technology

Publish Date: 2022-03-28

Implement Date: 2022-05-01

Scope

Main technical content: This document provides a formal design and verification method and process for blockchain smart contracts, mainly including requirement description, formal modeling, model transformation, formal verification, automatic code generation, and consistency testing methods. This document is suitable for using formal methods to carry out the design and verification of blockchain smart contracts.