(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 →
News
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 .
(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 →