News, updates, and technical articles related to AProVE. To get notified, when this blog got updated, become a member of our mailing list. For this, please send an email with “subscribe” in the subject line to aprove-news-join@lists.rwth-aachen.de .
We are pleased to announce the termination competition version of AProVE for the year 2026, featuring novel techniques for the analysis of probabilistic term rewrite systems and some bugfixes in the analysis of C programs. Read more →
Now that AProVE is open source, we want to make it as easy as possible to integrate AProVE into your own workflows. In this post we take a closer look at four ways to run AProVE: the web interface, the Docker container, the new programmatic API, and the command line interface. Read more →
Today is the day: AProVE is officially open source! After more than two decades of research and development, we can share the full source code with the world. Read more →
We are excited to announce the launch of a closed alpha test for a newly refactored version of AProVE, which will soon be released as an open-source project. If you are interested to get early access to the unpublished version... Read more →
We are pleased to announce a new release of AProVE, featuring novel techniques for the analysis of probabilistic term rewrite systems. Read more →
AProVE is able to analyze termination and complexity of different programming languages. Here, we clearly distinguish between two types of languages: frontend languages and backend languages. But what is the difference between those two types of languages and what is the advantage of this strict division? Read more →
We're excited to launch the very first post on the AProVE news blog. After two decades of development, we've decided to shed some light behind the curtains of the AProVE tool. This is the beginning of a space where we'll share news, updates, and insights about AProVE. Read more →