@misc{indiciae49e53bc1ff84,
  title = {Software is infrastructure: failures, successes, costs, and the case for formal verification},
  author = {Giovanni Bernardi and Adrian Francalanza and Marco Peressotti and Mohammad Reza Mousavi},
  year = {2026},
  url = {https://arxiv.org/abs/2506.13821},
  note = {Source identifier: 2506.13821}
}