Theta is a model checking framework based on abstraction refinement algorithms. In SV-
COMP 2022, we introduce: 1) reasoning at the source-level via a direct translation from C …

Safety-critical systems are becoming increasingly complex, including both software and
engineering models (eg state machines). Formal verifiers automatically prove properties or …