Software is infrastructure: failures, successes, costs, and the case for formal verification

Giovanni Bernardi, Adrian Francalanza, Marco Peressotti +1

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…