CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Block Abstraction Memoization for CPAchecker - (Competition Contribution) TACAS 2012
- 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
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution) TACAS 2013
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution) TACAS 2013
- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution) TACAS 2014
- A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs CAV 2025