@phdthesis{23388,
  author = {Tobias Reinhard},
  title = {Semi-Automated Modular Formal Verification of  Critical Software:  Liveness and Completeness Thresholds},
  year = {2024},
  journal = {Faculty of Engineering Science},
  volume = {Doctor of Engineering  Science (PhD): Computer Science},
  publisher = {KU Leuven},
}