TY - JOUR
AU - Tobias Reinhard
BT - arXiv:2403.00934
PY - 2024
T2 - arXiv:2403.00934
TI - Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
ER -