State-of-the-art survey of smart contract verification based on formal methods

Smart contract represents an essential application scenario of blockchain technology.Smart contract technology improves programmability and scalability of blockchain, and has broad development prospects.However, a series of security incidents caused a great number of economic losses and weakened use...

Full description

Bibliographic Details
Published in:网络与信息安全学报
Main Authors: Wenbo ZHANG, Simin CHEN, Lifei WEI, Wei SONG, Dongmei HUANG
Format: Article
Language:English
Published: POSTS&TELECOM PRESS Co., LTD 2022-08-01
Subjects:
smart contract
formal methods
blockchain
Ethereum
program verification
Online Access:http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2022041

Internet

http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2022041

Similar Items