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

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.

Published Date: 05/01/2001

Convertisseur de transport de signalisation sur couches SSCOP et SSCOPMCE

$12.3

Published Date: 10/01/2008

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

$7.8

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

$6

Published Date: 03/01/1993

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

$31.2