New CPAchecker version 2.3

[Philipp Wendler]

Dear CPAchecker users,

we are happy to announce the release of CPAchecker 2.3,
which brings several new features and general improvements:
- More precise heap encoding in predicate analysis
- New analysis for memory safety based on memory graphs
- New termination analysis
- New YAML-based witness format
- More functions from standard library supported

As announced during the release of version 2.2,
the new version requires at least Java 17.

For full details, please check out the release notes at
https://cpachecker.sosy-lab.org/NEWS-2.3.txt

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 available at
https://cpachecker.sosy-lab.org/download.php
Our official Docker image is named
"registry.gitlab.com/sosy-lab/software/cpachecker:2.3"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.10203297

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