CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution)
No abstract available.
Related papers
- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) TACAS 2022
- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) TACAS 2022
- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution) TACAS 2022
- PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution) TACAS 2023
- JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019
- Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution) TACAS 2024
- AISE v2.0: Combining Loop Transformations - (Competition Contribution) TACAS 2025
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021