Formal Verification of Blockchain Smart Contracts via ATL Model Checking

Formal Verification of Blockchain Smart Contracts via ATL Model Checking

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 needs in trusted intermediators, arbitrations and enfor...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak: Wonhong Nam, Hyunyoung Kil
Formatua: Artikulua
Hizkuntza:English
Argitaratua: IEEE 2022-01-01
Saila:IEEE Access
Gaiak:
Blockchain
ethereum
smart contracts
formal verification
alternating-time temporal logic (ATL)
ATL model checking
Sarrera elektronikoa:https://ieeexplore.ieee.org/document/9681884/

Internet

https://ieeexplore.ieee.org/document/9681884/

Antzeko izenburuak