%0 Thesis
%B Faculty of Engineering Science
%D 2024
%I KU Leuven
%T Semi-Automated Modular Formal Verification of  Critical Software:  Liveness and Completeness Thresholds
%V Doctor of Engineering  Science (PhD): Computer Science