The following publications are possibly variants of this publication:
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis - (Competition Contribution) Philipp Wendler. TACAS 2013: 613-615 [doi]
- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses - (Competition Contribution)Stefan Löwe, Mikhail Mandrykin, Philipp Wendler. TACAS 2014: 392-394 [doi]
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution)Stefan Löwe. TACAS 2013: 610-612 [doi]
- CPA-RefSel: CPAchecker with Refinement Selection - (Competition Contribution)Stefan Löwe. TACAS 2016: 916-919 [doi]
- CPAchecker 2.3 with Strategy Selection - (Competition Contribution)Daniel Baier, Dirk Beyer 0001, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger 0002, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler. TACAS 2024: 359-364 [doi]
- CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic - (Competition Contribution)Matthias Dangl, Stefan Löwe, Philipp Wendler. TACAS 2015: 423-425 [doi]