FramewORk for Embedded System verification - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution) TACAS 2016
- EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution) TACAS 2024
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution) TACAS 2022
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025
- SVF-SVC: Software Verification Using SVF (Competition Contribution) TACAS 2025
- AISE: A Symbolic Verifier by Synergizing Abstract Interpretation and Symbolic Execution (Competition Contribution) TACAS 2024
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024