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 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 →