Advertisement
Published in:
2020 | OriginalPaper | Chapter
Our Approach to Formal Verification of Token Economy Models
Authors : Oleksandr Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskyi, Yuliia Tarasich
Published in: Information and Communication Technologies in Education, Research, and Industrial Applications
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
The tokenomic modeling is one of the most efficient approaches for understanding and prediction of its subject’s behavior. There are many tools for simulation modeling of behavior in different domains but there is lack of examples in literature on the usage for tokenomic modeling. The paper considers the formal methods approach for tokenomic modeling. Thus, this article provides a brief description of the technology and the methods and tools developed by the authors for token economy modeling and for the analysis and study of its properties. The article also describes the formalization of the tokenomics model on the example of the SKILLONOMY project and presents the specific and symbolic SKILLONOMY models and its simulation results. The formalization and properties analysis is considered with usage of insertion modeling platform.