Tootfinder

Role, cost, and complexity of software in the real-world: a case for formal methods
Giovanni Bernardi, Adrian Francalanza, Marco Peressotti, Mohammad Reza Mousavi
https://arxiv.org/abs/2506.13821

Role, cost, and complexity of software in the real-world: a case for formal methods
In this chapter we outline the role that software has in modern society, along with the staggering costs of poor software quality. To lay this bare, we recall the costs of some of the major software failures that happened during the last~$40$ years. We argue that these costs justify researching, studying and applying formal software verification and in particular program analysis. This position is supported by successful industrial experiences.