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á bibliografie

Vydáno v:	Programming and computer software Ročník 45; číslo 8; s. 590 - 599
Hlavní autor:	Shishkin, E.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!