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...

Celý popis

Podrobná bibliografia

Vydané v:	Programming and computer software Ročník 45; číslo 8; s. 590 - 599
Hlavný autor:	Shishkin, E.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!