@misc{indiciaec90257056226,
  title = {Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis},
  author = {Florian Lanzinger and Christian Martin and Frederik Reiche and Samuel Teuber and Robert Heinrich and Alexander Weigl},
  year = {2024},
  doi = {10.1145/3605098.3636008},
  url = {https://arxiv.org/abs/2401.14320},
  note = {Source identifier: 2401.14320}
}