AProVE Goes Open Source — Full Release
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 →
News about AProVE
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 .
AProVE Goes Open Source — Alpha Release
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 →
(Update) New Version is Available!
We are pleased to announce a new release of AProVE, featuring novel techniques for the analysis of probabilistic term rewrite systems. Read more →
(TechBlog) Frontend and Backend Languages
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 →
Opening Closed Curtains.
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 →