Contact

We appreciate any feedback on your experience with the system!

You can contact the developer team via e-mail: aprove@i2.informatik.rwth-aachen.de

For further information and related tools developed by our research group, see the website of the Research Group Programming Languages and Verification.

Interested in contributing to AProVE, or curious who has contributed so far? Have a look at our Contribute page.