TY - THES
AU - Tobias Reinhard
BT - Faculty of Engineering Science
PB - KU Leuven
PY - 2024
T2 - Faculty of Engineering Science
TI - Semi-Automated Modular Formal Verification of  Critical Software:  Liveness and Completeness Thresholds
VL - Doctor of Engineering  Science (PhD): Computer Science
ER -