SoSy-Lab Software Collection

There is a newer version of the record available.

Published July 5, 2024 | Version 3.0 (unix)
Software Open

CPAchecker Release 3.0 (unix)

Authors/Creators

  • 1. LMU Munich, Germany

Contributors

  • 1. LMU Munich, Germany
  • 2. ROR icon Ludwig-Maximilians-Universität München

Description

Changes from CPAchecker 2.4 to CPAchecker 3.0

  • Default analysis no longer needs to be explicitly requested.
    If neither a configuration file nor the argument --cpas is given, CPAchecker will automatically use its default configuration, i.e., --default no longer needs to be used.

Files

CPAchecker-3.0-unix.zip

Files (144.3 MB)

Name Size Download all
md5:95a88460b94abf7f32416aefe346d9af
144.3 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)