A representative fragment method of analyzing complex systems of smart contracts
Date
2019-02-26
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Lviv Politechnic Publishing House
Abstract
: The paper presents the use of states of
explosion-proof method for analyzing the behavior of
systems that provide smart contract technology. The
selected example system is ShadowEth, whose main task is
to ensure sufficient confidentiality of information stored in
the Ethereum blockchain currency. The Petri network
model for the ShadowEth system has been presented. The
system properties according to the specifications have been
defined. Properties described in a certain extension of the
TCTL logic and verification have been carried out.
Description
Keywords
petri net, time, smart-contract, shadoweth, Ethereum
Citation
Horodelski M. A representative fragment method of analyzing complex systems of smart contracts / Michal Horodelski, Piotr Filipkowski // Advances in Cyber-Physical Systems : scientific journal. — Львів : Lviv Politechnic Publishing House, 2019. — Vol 4. — No 1. — P. 15–24.