Set-Based Models for Cryptocurrency Software

Authors

  • Gustavo Betarte
  • Maximiliano Cristiá Universidad Nacional de Rosario
  • Carlos Luna
  • Adrián Silveira
  • Dante Zanarini

DOI:

https://doi.org/10.19153/cleiej.24.3.0

Abstract

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.

Downloads

Published

2021-12-20

Issue

Vol. 24 No. 3 (2021): Regular papers and Special Issue For Digital Healthcare

Section

Articles

License

Copyright (c) 2021 Gustavo Betarte, Maximiliano Cristiá, Carlos Luna, Adrián Silveira, Dante Zanarini

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

CLEIej is supported by its home institution, CLEI, and by the contribution of the Latin American and international researchers community, and it does not apply any author charges whatsoever for submitting and publishing. Since its creation in 1998, all contents are made publicly accesibly. The current license being applied is a (CC)-BY license (effective October 2015; between 2011 and 2015 a (CC)-BY-NC license was used).