Skip to content

Releases: aprove-developers/aprove-open-source

AProVE 1.0.0 (Capybara)

09 May 15:53
@J-C-Kassing J-C-Kassing
1.0.0-Capybara
a8dbf78

Choose a tag to compare

View all tags
AProVE 1.0.0 (Capybara) Latest
Latest

We are excited to announce the first public open-source release of AProVE! 🔎

AProVE is an automated tool for formally reasoning about the termination and complexity of programs, developed at the Programming Languages and Verification group at RWTH Aachen University. This release marks a major milestone: AProVE is now openly available for researchers and developers worldwide.

Getting started
Download AProVE.jar from the assets below and check out our wiki and the website for setup instructions and usage examples.

What's included?

  • AProVE.jar — the self-contained executable JAR for running AProVE analyses
Assets 3
Loading