Debugging Smart Contract’s Business Logic Using Symbolic Model Checking

Smart contracts are a special type of programs running inside a blockchain. Immutable and transparent, they provide means to implement fault-tolerant and censorship-resistant services. Unfortunately, its immutability causes a serious challenge of ensuring that a business logic and implementation is...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Programming and computer software Jg. 45; H. 8; S. 590 - 599
1. Verfasser:	Shishkin, E.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Schlagworte:	Artificial Intelligence Blockchain Computer Science Cryptography Digital currencies Distributed ledger Error detection Fault tolerance Formal specifications Logic Operating Systems Programming languages Software Engineering Software Engineering/Programming and Operating Systems Technology adoption
ISSN:	0361-7688, 1608-3261
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!