@article{23390,
  author = {Tobias Reinhard},
  title = {Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds},
  year = {2024},
  journal = {arXiv:2403.00934},
}