Block Abstraction Memoization for CPAchecker - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution) TACAS 2024
- CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution) TACAS 2016
- 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
- CPAchecker 4.0 as Witness Validator - (Competition Contribution) TACAS 2025
- CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution) TACAS 2016
- CPAchecker with Adjustable Predicate Analysis - (Competition Contribution) TACAS 2012
- CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution) TACAS 2014