SoSy-Lab Software Collection

There is a newer version of the record available.

Published November 2, 2023 | Version 2.2.1-svn-44999
Software Open

CPAchecker 2.2.1-svn-44999 (SV-COMP24 Prerun)

Creators

  • 1. LMU Munich, Germany

Contributors

Contact person:

Project leader:

Project manager:

  • 1. LMU Munich, Germany

Description

CPAchecker version 2.2.1-svn-44999 for SV-COMP24 preruns.

Files

CPAchecker-2.2.1-svn-44999-unix.zip

Files (144.4 MB)

Name Size Download all
md5:5cdefba4441a07d4729912925f6169cb
144.4 MB Preview Download

Additional details

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)