Advances In Cyber-Physical Systems. – 2019. – Vol. 4, No. 1

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/45643

Науковий журнал

Засновник і видавець Національний університет «Львівська політехніка». Виходить двічі на рік з 2016 року.

Advances in Cyber-Physical Systems / Lviv Polytechnic National University ; editor-in-chief A. Melnyk. – Lviv : Lviv Politechnic Publishing House, 2019. – Volume 4, number 1. – 64 p. : il.

Зміст (том 4, № 1)


1
7
15
25
31
36
42
55

Content (Vol. 4, No 1)


1
7
15
25
31
36
42
55

Browse

Search Results

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.