A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
A Survey of Smart Contract Formal Specification and Verification
[article]
2021
arXiv
pre-print
Preserved Fulltext
Other Versions
A smart contract is a computer program which 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 ...
Apart from the tools based on Hoare logic, K is a framework for design and development of language semantics based on rewriting logic [165] . ...
arXiv:2008.02712v3
fatcat:ltkckg4eivdhtppaebnlis3tci