Open AccessSet-Based Models for Cryptocurrency Software
Author(s) -
Gustavo Betarte,
Maximiliano Cristiá,
Carlos Luna,
Adrián Silveira,
Dante Zanarini
Publication year - 2021
Publication title -
clei electronic journal
Language(s) - English
Resource type - Journals
ISSN - 0717-5000
DOI - 10.19153/cleiej.24.3.0
Subject(s) - cryptocurrency , code (set theory) , software , computer science , software quality , set (abstract data type) , software engineering , software development , computer security , programming language
Formal methods (FM) are mathematics-based software development methods aimed at producing ``code for a nuclear power reactor''. That is, due application of FM can produce bug-free, zero-defect, correct-by-construction, guaranteed, certified software. However, the software industry seldom use FM. One of the main reasons for such a situation is that there exists the perception (which might well be a fact) that FM increase software costs. On the other hand, FM can be partially applied thus producing high-quality software, although not necessarily bug-free.
In this paper we outline some FM related techniques whose application the cryptocurrency community should take into consideration because they could bridge the gap between ``loose web code'' and ``code for a nuclear power reactor''. We include relevant case studies in the area of cryptocurrency.