A survey of smart contract formal specification and verification

A survey of smart contract formal specification and verification

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 f...

Full description

Saved in:
Bibliographic Details
Main Authors: Tolmach, Palina, Li, Yi, Lin, Shang-Wei, Liu, Yang, Li, Zengxiang
Other Authors: School of Computer Science and Engineering
Format: Article
Language:English
Published: 2022
Subjects:
Engineering::Computer science and engineering
Smart Contract
Formal Verification
Online Access:https://hdl.handle.net/10356/160319
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English

Internet

https://hdl.handle.net/10356/160319

Similar Items