Published December 1, 2025
| Version 4.2.2 (unix)
Software
Open
CPAchecker Release 4.2.2 (unix)
Contributors
Project members:
-
Baier, Daniel1
-
Bajczi, Levente2
- Brocke, Michael1
-
Chien, Po-Chun1
- Ewerling, Sarah1
-
Friedberger, Karlheinz1
-
Jakobs, Marie-Christine1
-
Jankola, Marek1
-
Kettl, Matthias1
- Koch, Sarah1
- König, Noah1
-
Lee, Nian-Ze1
-
Lemberger, Thomas1
-
Lingsch-Rosenfeld, Marian1
- Raffler, Daniel1
- Ruckstuhl, Sara1
- Salgado, Diego1
- Schlüßlhuber, Johannes1
-
Wachowitz, Henrik1
- 1. LMU Munich, Germany
-
2.
Budapest University of Technology and Economics
Description
Changes from CPAchecker 4.2.1 to CPAchecker 4.2.2
- Fix unintended export of witnesses in v2 format in SV-COMP'26 config for cases where the format is not defined yet.
Files
CPAchecker-4.2.2-unix.zip
Files
(160.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5be4e626a60e0a0c07a454ccd1f1687d
|
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)