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

Tobias Reinhard

Published in: CoRR (2024)

Keyphrases

semi automated
formal verification
model checking
program slicing
fully automated
automated verification
bounded model checking
model checker
symbolic model checking
software systems
software architecture
temporal logic
software tools
software development
orders of magnitude
case study
test cases
user interface