T/CIE 130-2022 English Version, T/CIE 130-2022 (English Version)

Chinese Classification Professional Classification ICS Classification Latest News Value-added Services

T/CIE 130-2022 (English Version)
Standard No.:	T/CIE 130-2022	Status:	valid remind me the status change Email:
Target Language:	English	File Format:	PDF
Word Count:	14500 words	Translation Price(USD):	435.0 remind me the price change Email:
Implemented on:		Delivery:	via email in 1~5 business day

→

Standard No.:	T/CIE 130-2022
Chinese Name:	区块链智能合约形式化设计与验证方法
Chinese Classification:	L74 Program language
Professional Classification:	T/ Social Organization Standard
Source Content Issued by:	CIE
Status:	valid
Target Language:	English
File Format:	PDF
Word Count:	14500 words
Translation Price(USD):	435.0
Delivery:	via email in 1~5 business day

Standard

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

Tel: +86-10-8572 5655 \| Fax: +86-10-8581 9515 \| Email: coc@codeofchina.com \| QQ: 672269886
Copyright: Beijing COC Tech Co., Ltd. 2008-2040



Keywords:
T/CIE 130-2022, T/CIET 130-2022, TCIET 130-2022, T/CIE130-2022, T/CIE 130, T/CIE130, T/CIET130-2022, T/CIET 130, T/CIET130, TCIET130-2022, TCIET 130, TCIET130