Published December 1, 2025
| Version 4.2.2 (image)
Software
Open
CPAchecker Release 4.2.2 (image)
Contributors
Project member (19):
-
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
Files
(335.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6f88f2673a5e07a59c7f59c37840e5b6
|
335.1 MB | 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)