ITU-T F.751.12 PDF

Name:
ITU-T F.751.12 PDF

Published Date:
09/01/2023

Status:
[ Active ]

Description:

Formal verification framework for smart contract on distributed ledger technology

Publisher:
International Telecommunication Union-T

Document status:

Active

Format:

Electronic (PDF)

Delivery time:

10 minutes

Delivery time (for Russian version):

200 business days

SKU:

This Recommendation provides a formal verification framework of smart contract on distributed ledger technology (DLT). It also includes:

– Overview of formal verification for smart contract;

– Requirements of formal verification for smart contract;

– Architecture of formal verification for smart contract.

Edition :	23#
File Size :	1 file
Number of Pages :	20
Published :	09/01/2023

History

Related products

ITU-T Q.2150.2 FRENCH

Published Date: 05/01/2001

Convertisseur de transport de signalisation sur couches SSCOP et SSCOPMCE

$12.3

ITU-T RÉSOLUTION 2 FRENCH

Published Date: 10/01/2008

Domaine de compétence et mandat des commissions d'études de l'UIT-T

$7.8

ITU-T L.14 FRENCH

Published Date: 07/01/1992

MÉTHODE DE MESURE POUR DÉTERMINER LES CARACTÉRISTIQUES SOUS CONTRAINTES DES CÂBLES À FIBRES OPTIQUES SOUMIS À UN EFFORT DE TRACTION

ITU-T Q.784 ANX A SPANISH

Published Date: 03/01/1993

VERSIÓN EN NOTACIÓN COMBINADA ARBORESCENTE Y TABULAR DE LA RECOMENDACIÓN Q.784

$31.2

Best-Selling Products

BS EN ISO/IEC 10373:1995

Published Date: 09/15/1995

Identification cards. Test methods

$92.964

BS EN ISO/IEC 11159:1997

Published Date: 03/15/1997

Information technology. Office equipment. Minimum information to be included in specification sheets. Copying machines

$57.15

BS EN ISO/IEC 11159:1998

Published Date: 09/15/1998

Information technology. Office equipment. Minimum information to be included in specification sheets. Copying machines

$92.964

BS EN ISO/IEC 11172-1:1995

Published Date: 09/01/1995

Information technology. Coding of moving pictures and associated audio for digital storage media at up to about 1,5 Mbit/s-Systems

$110.49

BS EN ISO/IEC 11172-2:1995

Published Date: 09/01/1995

Information technology. Coding of moving pictures and associated audio for digital storage media at up to about 1,5 Mbit/s-Video

$119.634

BS EN ISO/IEC 11172-3:1995

Published Date: 09/01/1995

Information technology. Coding of moving pictures and associated audio for digital storage media at up to about 1,5 Mbit/s-Audio

$119.634