O. Letychevsky, V. Peschanenko, V. Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko
{"title":"代币经济模型的形式化验证","authors":"O. Letychevsky, V. Peschanenko, V. Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko","doi":"10.1109/BLOC.2019.8751318","DOIUrl":null,"url":null,"abstract":"This paper considers the formal methods approach for token economy modeling, analysis and studying of its properties. It uses an insertion modeling technique for verification of a token economy and behavior algebra specifications for formalization. The project SKILLONOMY is considered as an example of algebraic approach application. The formalization and properties analysis are considered with usage of the insertion modeling platform.","PeriodicalId":314490,"journal":{"name":"2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Formal Verification of Token Economy Models\",\"authors\":\"O. Letychevsky, V. Peschanenko, V. Radchenko, M. Poltoratzkyi, P. Kovalenko, S. Mogylko\",\"doi\":\"10.1109/BLOC.2019.8751318\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper considers the formal methods approach for token economy modeling, analysis and studying of its properties. It uses an insertion modeling technique for verification of a token economy and behavior algebra specifications for formalization. The project SKILLONOMY is considered as an example of algebraic approach application. The formalization and properties analysis are considered with usage of the insertion modeling platform.\",\"PeriodicalId\":314490,\"journal\":{\"name\":\"2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)\",\"volume\":\"36 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-05-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/BLOC.2019.8751318\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/BLOC.2019.8751318","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper considers the formal methods approach for token economy modeling, analysis and studying of its properties. It uses an insertion modeling technique for verification of a token economy and behavior algebra specifications for formalization. The project SKILLONOMY is considered as an example of algebraic approach application. The formalization and properties analysis are considered with usage of the insertion modeling platform.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
