Skip to main content
1
Views

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds

How to cite:
Tobias Reinhard
"Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds"
Faculty of Engineering Science,
Doctor of Engineering Science (PhD): Computer Science,
(2024):