ITU-T - F.751.12
Formal verification framework for smart contract on distributed ledger technology
active, Most Current
| Organization: | ITU-T |
| Publication Date: | 1 September 2023 |
| Status: | active |
| Page Count: | 20 |
scope:
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.
Document History
F.751.12
September 1, 2023
Formal verification framework for smart contract on distributed ledger technology
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;
–...