CPA-BAM-Slicing: Block-Abstraction Memoization and Slicing with Region-Based Dependency 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: Block-Abstraction Memoization with Value Analysis and Predicate Analysis - (Competition Contribution) TACAS 2016
- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) TACAS 2023
- Block Abstraction Memoization for CPAchecker - (Competition Contribution) TACAS 2012
- Symbiotic 2: More Precise Slicing - (Competition Contribution) TACAS 2014
- Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution) TACAS 2013
- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution) TACAS 2021
- Symbiotic 7: Integration of Predator and More - (Competition Contribution) TACAS 2020