New CPAchecker version 4.2

[Philipp Wendler]

Dear CPAchecker users,

we are happy to announce the release of CPAchecker 4.2!

There are several new features, including support for the SV-LIB
language, verification of concurrent programs via sequentialization, and
improvements for termination witnesses.
For the full release notes cf.
https://cpachecker.sosy-lab.org/NEWS-4.2.txt

Please also note that this release requires Java 21.

We would like to thank the many people that have contributed to the
development of CPAchecker!
Their full list is here: https://cpachecker.sosy-lab.org/acknow.php

The new release is as always available at
https://cpachecker.sosy-lab.org/download.php
and as Debian/Ubuntu package on https://apt.sosy-lab.org/.
Our official Docker image is named "sosylab/cpachecker:4.2"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.17698608

Kind regards
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181