7 papers:
TACAS-2015-DanglLW #contest #float #recursion #source code- CPAchecker with Support for Recursive Programs and Floating-Point Arithmetic — (Competition Contribution) (MD, SL, PW), pp. 423–425.
- TACAS-2014-LoweMW #analysis #contest
- CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses — (Competition Contribution) (SL, MUM, PW), pp. 392–394.
- TACAS-2013-Lowe #analysis #contest
- CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.
- TACAS-2013-Wendler #analysis #contest
- CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis — (Competition Contribution) (PW), pp. 613–615.
- TACAS-2012-LoweW #analysis #contest
- CPAchecker with Adjustable Predicate Analysis — (Competition Contribution) (SL, PW), pp. 528–530.
- TACAS-2012-Wonisch #abstraction #contest
- Block Abstraction Memoization for CPAchecker — (Competition Contribution) (DW), pp. 531–533.
CAV-2011-BeyerK #configuration management #named #verification- CPAchecker: A Tool for Configurable Software Verification (DB, MEK), pp. 184–190.
