Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205507092> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4205507092 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." @default.
- W4205507092 created "2022-01-26" @default.
- W4205507092 creator A5001520311 @default.
- W4205507092 creator A5003957275 @default.
- W4205507092 creator A5039879247 @default.
- W4205507092 creator A5040486882 @default.
- W4205507092 creator A5045769824 @default.
- W4205507092 date "2021-12-13" @default.
- W4205507092 modified "2023-09-26" @default.
- W4205507092 title "Set-Based Models for Cryptocurrency Software" @default.
- W4205507092 doi "https://doi.org/10.19153/cleiej.24.3.0" @default.
- W4205507092 hasPublicationYear "2021" @default.
- W4205507092 type Work @default.
- W4205507092 citedByCount "0" @default.
- W4205507092 crossrefType "journal-article" @default.
- W4205507092 hasAuthorship W4205507092A5001520311 @default.
- W4205507092 hasAuthorship W4205507092A5003957275 @default.
- W4205507092 hasAuthorship W4205507092A5039879247 @default.
- W4205507092 hasAuthorship W4205507092A5040486882 @default.
- W4205507092 hasAuthorship W4205507092A5045769824 @default.
- W4205507092 hasBestOaLocation W42055070921 @default.
- W4205507092 hasConcept C115903868 @default.
- W4205507092 hasConcept C117447612 @default.
- W4205507092 hasConcept C177264268 @default.
- W4205507092 hasConcept C180706569 @default.
- W4205507092 hasConcept C199360897 @default.
- W4205507092 hasConcept C2776760102 @default.
- W4205507092 hasConcept C2777904410 @default.
- W4205507092 hasConcept C38652104 @default.
- W4205507092 hasConcept C41008148 @default.
- W4205507092 hasConcept C529173508 @default.
- W4205507092 hasConceptScore W4205507092C115903868 @default.
- W4205507092 hasConceptScore W4205507092C117447612 @default.
- W4205507092 hasConceptScore W4205507092C177264268 @default.
- W4205507092 hasConceptScore W4205507092C180706569 @default.
- W4205507092 hasConceptScore W4205507092C199360897 @default.
- W4205507092 hasConceptScore W4205507092C2776760102 @default.
- W4205507092 hasConceptScore W4205507092C2777904410 @default.
- W4205507092 hasConceptScore W4205507092C38652104 @default.
- W4205507092 hasConceptScore W4205507092C41008148 @default.
- W4205507092 hasConceptScore W4205507092C529173508 @default.
- W4205507092 hasIssue "3" @default.
- W4205507092 hasLocation W42055070921 @default.
- W4205507092 hasLocation W42055070922 @default.
- W4205507092 hasLocation W42055070923 @default.
- W4205507092 hasOpenAccess W4205507092 @default.
- W4205507092 hasPrimaryLocation W42055070921 @default.
- W4205507092 hasRelatedWork W1836552028 @default.
- W4205507092 hasRelatedWork W2012901726 @default.
- W4205507092 hasRelatedWork W2067822088 @default.
- W4205507092 hasRelatedWork W2072453720 @default.
- W4205507092 hasRelatedWork W2151381004 @default.
- W4205507092 hasRelatedWork W2266057047 @default.
- W4205507092 hasRelatedWork W2610516322 @default.
- W4205507092 hasRelatedWork W2964958795 @default.
- W4205507092 hasRelatedWork W2969111742 @default.
- W4205507092 hasRelatedWork W4205507092 @default.
- W4205507092 hasVolume "24" @default.
- W4205507092 isParatext "false" @default.
- W4205507092 isRetracted "false" @default.
- W4205507092 workType "article" @default.