A Survey of Smart Contract Formal Specification and Verification

Volume: 54, Issue: 7, Pages: 1 - 38
Published: Jul 18, 2021
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...
Paper Details
Title
A Survey of Smart Contract Formal Specification and Verification
Published Date
Jul 18, 2021
Volume
54
Issue
7
Pages
1 - 38
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.