CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution) TACAS 2017
- CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution) TACAS 2018
- Block Abstraction Memoization for CPAchecker - (Competition Contribution) TACAS 2012
- Graves-CPA: A Graph-Attention Verifier Selector (Competition Contribution) TACAS 2022
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024
- CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution) TACAS 2016
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
- CPAchecker 4.0 as Witness Validator - (Competition Contribution) TACAS 2025