Browsing by Author "Horodelski, Michal"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    A representative fragment method of analyzing complex systems of smart contracts
    (Lviv Politechnic Publishing House, 2019-02-26) Horodelski, Michal; Filipkowski, Piotr; The John Paul II Catholic University of Lublin; The Collegium of Economic Analysis of Warsaw School of Economics
    : 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.