A representative fragment method of analyzing complex systems of smart contracts

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.

Endorsement

Review

Supplemented By

Referenced By