Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution)
No abstract available.
Related papers
- Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution) TACAS 2018
- CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution) TACAS 2016
- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution) TACAS 2022
- CPAchecker 4.0 as Witness Validator - (Competition Contribution) TACAS 2025
- SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution) TACAS 2024
- Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution) TACAS 2024
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- Theta: Various Approaches for Concurrent Program Verification (Competition Contribution) TACAS 2025