Formal Verification of Blockchain Smart Contracts via ATL Model Checking
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Access"
DOI: 10.1109/access.2022.3143145
Abstract: A blockchain is a list of data blocks as a publicly distributed ledger, which are linked together using cryptography. By allowing Turing-complete programming languages to implement smart contracts, recent blockchains such as Ethereum can reduce… read more here.
Keywords: formal verification; smart contracts; blockchain smart; atl model ... See more keywords