ITU-T Work Programme

[2017-2020] : [SG16] : [Q22/16]

Work item:

H.DLT-VERI

Subject/title:

Formal verification framework for smart contract on distributed ledger technology

Status:

[Carried to next study period]

Approval process:

AAP

Type of work item:

Recommendation

Version:

New

Equivalent number:

Timing:

Liaison:

Supporting members:

Summary:

Comment:

Reference(s):

]

Historic references:

]

]

Contact(s):

Yunchul CHOI, Editor

Jung Soo PARK, Editor

ITU-T A.5 justification(s):

[Submit new A.5 justification

]
See guidelines for creating & submitting ITU-T A.5 justifications

First registration in the WP: 2019-11-14 17:15:24

Last update: 2022-02-17 11:07:21