A Survey of Smart Contract Formal Specification and Verification

A Formal Verification Framework for Security Issues of Blockchain Smart Contracts

(2020) Tianyu Sun et al.   Electronics

A Survey on Ethereum Systems Security

(2020) Huashan Chen et al.   ACM COMPUTING SURVEYS

Formal Analysis of Smart Contract Based on Colored Petri Nets

(2020) Wang Duo et al.   IEEE INTELLIGENT SYSTEMS

A federated society of bots for smart contract testing

(2020) Emanuele Viglianisi et al.   JOURNAL OF SYSTEMS AND SOFTWARE

Blockchain-Enabled Smart Contracts: Architecture, Applications, and Future Trends

(2019) Shuai Wang et al.   IEEE Transactions on Systems Man Cybernetics-Systems

Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities

(2019) Amritraj Singh et al.   COMPUTERS & SECURITY

An overview on smart contracts: Challenges, advances and platforms

(2019) Zibin Zheng et al.   Future Generation Computer Systems-The International Journal of eScience

Smart Contract Development: Challenges and Opportunities

(2019) Weiqin Zou et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING