Recommendation ITU-T F.751.12 (09/2023) Formal verification framework for smart contract on distributed ledger technology
Summary
History
FOREWORD
Table of Contents
1 Scope
2 References
3 Definitions
     3.1 Terms defined elsewhere
     3.2 Terms defined in this Recommendation
4 Abbreviations and acronyms
5 Conventions
6 Overview of formal verification for smart contracts
     6.1 Smart contract
     6.2 Formal method
7 Requirements of formal verification for smart contracts
     7.1 DApp requirements
     7.2 Smart contract mechanism requirements
     7.3 Formal method requirements
8 Architecture of formal verification for smart contracts
     8.1 Overview
     8.2 Formal verification
Appendix I  Use case of verification for smart contract
     I.1 Overall procedure for formal verification
     I.2 Internet of Things (IoT) environment
          I.2.1 Smart contract verification for resource sharing service
Appendix II  Related projects on verification for smart contract
Bibliography