1 Hit in 4.8 sec

A Survey of Smart Contract Formal Specification and Verification [article]

Palina Tolmach, Yi Li, Shang-Wei Lin, Yang Liu, Zengxiang Li
2021 arXiv   pre-print
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