[127-WP1]� F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent)

International Telecommunication Union

�

ITU

Fran�ais� Espa�ol

�

�

Home : ITU-T : SG16 : Temporary Documents�(Meeting�2023-07-10) : 127-WP1

Recently posted�-� Search Meeting Documents

�

�

[127-WP1]� F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent)

	Format	Size	Posted

English	Word �	461415 bytes	2023-07-20	[127-WP1]�

�

Document :	ITU-T�SG16� (Study Period 2022)� Temporary Document� 127-WP1
Title :	F.751.12 (ex H.DLT-VERI) "Formal verification framework for smart contract on distributed ledger technology" (New): Output draft (for Consent)
Date :	2023-07-13
Source :	Editor H.DLT-VERI
AI/Question :	Q22/16
Access :	Restricted to TIES users�[ITU-T]

Top�-� Feedback�-� Contact Us�-� Copyright � ITU�2008�All Rights Reserved
Contact for this page :� TSB EDH
Updated :�2023-07-20

�