Salvato in:
| Autori principali: | , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2506.13821 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912856460492800 |
|---|---|
| author | Bernardi, Giovanni Francalanza, Adrian Peressotti, Marco Mousavi, Mohammad Reza |
| author_facet | Bernardi, Giovanni Francalanza, Adrian Peressotti, Marco Mousavi, Mohammad Reza |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_13821 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Software is infrastructure: failures, successes, costs, and the case for formal verification Bernardi, Giovanni Francalanza, Adrian Peressotti, Marco Mousavi, Mohammad Reza Software Engineering Computers and Society 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. |
| title | Software is infrastructure: failures, successes, costs, and the case for formal verification |
| topic | Software Engineering Computers and Society |
| url | https://arxiv.org/abs/2506.13821 |