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

Full description

Saved in:

Bibliographic Details
Published in:	Programming and computer software Vol. 45; no. 8; pp. 590 - 599
Main Author:	Shishkin, E.
Format:	Journal Article
Language:	English
Published:	Moscow Pleiades Publishing 01.12.2019 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!