2025/06/15 by Giovanni Bernardi, Adrian Francalanza, Bernardi, Giovanni +5
Computer Science · #Computers and Society (cs.CY) #FOS: Computer and information sciences #Information and Cyber Security #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research
paper · pdf · doi:10.48550/arxiv.2506.13821
openalex publication_date 2025/06/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.