Please use this identifier to cite or link to this item:
Title: A survey of smart contract formal specification and verification
Authors: Tolmach, Palina
Li, Yi
Lin, Shang-Wei
Liu, Yang
Li, Zengxiang
Keywords: Engineering::Computer science and engineering
Issue Date: 2022
Source: Tolmach, P., Li, Y., Lin, S., Liu, Y. & Li, Z. (2022). A survey of smart contract formal specification and verification. ACM Computing Surveys, 54(7), 1-38.
Project: 2018-T1-002-069
Journal: ACM Computing Surveys
Abstract: A smart contract is a computer program that allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain, finance, legal, and medical services, there is a strong demand for verification and validation techniques. Yet, the vast majority of smart contracts lack any kind of formal specification, which is essential for establishing their correctness. In this survey, we investigate formal models and specifications of smart contracts presented in the literature and present a systematic overview to understand the common trends. We also discuss the current approaches used in verifying such property specifications and identify gaps with the hope to recognize promising directions for future work.
ISSN: 0360-0300
DOI: 10.1145/3464421
Schools: School of Computer Science and Engineering 
Organisations: Institute of High Performance Computing (A*STAR)
Rights: © 2021 Association for Computing Machinery. All rights reserved.
Fulltext Permission: none
Fulltext Availability: No Fulltext
Appears in Collections:SCSE Journal Articles

Citations 10

Updated on May 28, 2023

Web of ScienceTM
Citations 20

Updated on May 28, 2023

Page view(s)

Updated on May 31, 2023

Google ScholarTM




Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.