New CPAchecker version 3.0

[Philipp Wendler]

Dear CPAchecker users,

we are happy to announce the release of CPAchecker 3.0!

Compared to version 2.4, this release brings one improvement:
It is no longer necessary to specify "--default"
in order to request the default analysis of CPAchecker.
Now calling CPAchecker without explicitly specifying an analysis
will work and use the default analysis.

This release celebrates a brand new tutorial and user guide
that will be published at FM 2024 (https://www.fm24.polimi.it).

FM 2024 will also host a tutorial session about CPAchecker,
and the 9th CPAchecker workshop (https://cpa.sosy-lab.org/2024/)
on 2024-09-09 will be colocated with FM,
so we hope to see many of you there!
You are invited to submit a talk to the workshop
via https://forms.gle/eb13VVsUYnwxTmct7 (deadline 2024-07-10!).

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:3.0"
and there is an artifact on Zenodo:
https://zenodo.org/records/12663059

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