SoSy-Lab Software Collection
Published November 24, 2023 | Version 2.3 (unix)
Software Open

CPAchecker 2.3 (SV-COMP24 Submission)

Authors/Creators

  • 1. LMU Munich, Germany

Contributors

Contact person:

Project leader:

Project manager:

  • 1. LMU Munich, Germany

Description

CPAchecker version 2.3 for SV-COMP24

Files

CPAchecker-2.3-unix.zip

Files (144.5 MB)

Name Size Download all
md5:02e24446810fb7f11d8b9778739cc0f7
144.5 MB Preview Download

Additional details

Identifiers

DOI
10.5281/zenodo.10203297

Related works

Is described by
10.1007/978-3-642-22110-1_16 (DOI)
10.1007/s10817-017-9432-6 (DOI)
Is supplemented by
https://cpachecker.sosy-lab.org/ (URL)

Dates

Submitted
2023-11-24
SV-COMP 2024