TY  - RPRT
TI  - Software is infrastructure: failures, successes, costs, and the case for formal verification
AU  - Giovanni Bernardi
AU  - Adrian Francalanza
AU  - Marco Peressotti
AU  - Mohammad Reza Mousavi
PY  - 2026
UR  - https://arxiv.org/abs/2506.13821
ID  - 2506.13821
ER  -