Get Ready: AProVE’s Open Source Release Is Coming Soon!

We are excited to announce the launch of a closed alpha test for a new version of AProVE, which will soon be released as an open-source project.

This redesigned version represents a significant step forward in accessibility and usability. One of the key additions is a new Docker image that simplifies testing and benchmarking. With this setup, users can quickly evaluate new versions of AProVE in a consistent and reproducible way.

In addition, we have introduced a comprehensive new Wiki that provides deeper insight into the internal structure of the source code. This documentation is aimed at helping developers better understand the system’s architecture, making it easier to navigate, extend, and contribute to the project.

We look forward to gathering feedback during this alpha phase to further improve the accessibility of AProVE as we move towards a full open-source release. If you are interested to get access to the unpublished version write us a mail!.

— The AProVE Team