New CPAchecker version 2.3.1

[Philipp Wendler]

Dear CPAchecker users,

we are happy to announce the release of CPAchecker 2.3.1,
which brings several new features and general improvements:
- Dual Approximated Reachability (DAR) implemented
- Export of test harnesses enabled for found property violations
- Improved export for witnesses version 2.0
- Improved analysis for memory safety based on symbolic memory graphs
(SMG)

For full details, please check out the release notes at
https://cpachecker.sosy-lab.org/NEWS-2.3.1.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.1"
and there is an artifact on Zenodo:
https://doi.org/10.5281/zenodo.11074229

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