EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution)
Abstract elided by the publisher.
Related papers
- EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025
- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) TACAS 2022
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
- EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution) TACAS 2024
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025
- Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution) TACAS 2024
- Nacpa: Native Checking with Parallel-Portfolio Analyses - (Competition Contribution) TACAS 2025
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024