SoSy-Lab Software Collection

There is a newer version of the record available.

Published November 27, 2025 | Version 4.2.1 (unix)
Software Open

CPAchecker Release 4.2.1 (unix)

Authors/Creators

  • 1. LMU Munich, Germany

Contributors

  • 1. LMU Munich, Germany
  • 2. ROR icon Budapest University of Technology and Economics

Description

Changes from CPAchecker 4.2 to CPAchecker 4.2.1

  • Bug fixes for witness export and import.
    Three problems related to witnesses are fixed, which also resolves a regression in version 4.2 when using CPAchecker's internal counterexample check.

Files

CPAchecker-4.2.1-unix.zip

Files (160.2 MB)

Name Size Download all
md5:5fa78455191bb0dd26668a1569829ce0
160.2 MB Preview Download

Additional details

Related works

Is documented by
Conference paper: 10.1007/978-3-642-22110-1_16 (DOI)
Journal article: 10.1007/s10817-017-9432-6 (DOI)
Conference paper: 10.48550/arXiv.2409.02094 (DOI)
Is supplement to
Software documentation: https://cpachecker.sosy-lab.org/ (URL)