Open AccessStatistical model checking for blockchain-based applications
Author(s) -
D. B. Maksimov,
I. A. Yakimov,
А. С. Кузнецов
Publication year - 2020
Publication title -
iop conference series. materials science and engineering
Language(s) - English
Resource type - Journals
eISSN - 1757-899X
pISSN - 1757-8981
DOI - 10.1088/1757-899x/734/1/012152
Subject(s) - blockchain , computer science , set (abstract data type) , quality (philosophy) , order (exchange) , software , statistical hypothesis testing , computer security , software engineering , programming language , mathematics , philosophy , epistemology , finance , economics , statistics
Blockchain-based applications have become increasingly popular in recent years. Security concerns are rising as blockchain users are becoming aware of how their private data is stored across this decentralized network of computing nodes. Formal verification allows developers to improve software quality and hence make it more secure. The main hypothesis of this paper is that it is achievable to perform formal verification of a model that represents a smart contract responsible for user registration. In order to test the hypothesis, we have created a model of such a smart contract and checked it against a set of formal constraints. As a result of the conducted study, a conclusion can be made that the hypothesis is correct.