CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions - (Competition Contribution)
No abstract available.
Related papers
- CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency Analysis - (Competition Contribution) TACAS 2018
- CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution) TACAS 2016
- 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
- PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution) TACAS 2020
- CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution) TACAS 2016
- Program Analysis with Local Policy Iteration VMCAI 2016