%0 Journal Article
%B arXiv:2403.00934
%D 2024
%T Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds