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.
Contributors
Since its conception in April 2001, many people have contributed to the success of the AProVE system.
Current Contributors
Past Contributors
- Clemens Adolphs
- Cornelius Aschermann
- Arndt Baars
- Nina Beckmann
- Ralf Behle
- Karsten Behrmann
- Max Berrendorf
- Felix Bier
- Eric Bodden
- Marc Brockschmidt
- Andreas Capellmann
- Andrea Crotti
- Thomas Dickmeis
- Darius Dlugosz
- Stefan Dollase
- Andrej Dyck
- Fabian Emmes
- Burak Emir
- Frank Emrich
- Tim Enger
- Stephan Falke
- Felix Frei
- Barbara Friemann
- Marina Gluzberg
- Igor Gonopolskiy
- Thomas Henn
- Jera Hensel
- Heike Haegert
- Christian Hang
- Christian Haselbach
- Marcel Hark
- Albert Helligrath
- Matthias Hoelzel
- Besnik Ilazi
- Patrick Kabasci
- Christian Käunicke
- David Keller
- Andreas Kelle-Emden
- Sabrina Kielmann
- Marcel Klinzing
- Christian Kuknat
- Fabian Kürten
- Achim Lücking
- Martin Mertens
- Richard Musiol
- Matthias Naaf
- Lars Noschinski
- Carsten Otto
- Benedikt Pago
- Michael Parting
- Carsten Pelikan
- Martin Plücker
- Matthias Raffelsieper
- Janine Repke
- Tim Rohlfs
- Jonas Säuberlich
- Alexander Schlecht
- Ulrich Schmidt-Goertz
- Peter Schneider-Kamp
- Kristian Scholz
- Matthias Sondermann
- Leon Spitzer
- Christian Stein
- Thomas Ströder
- Thies Strothmann
- Stephan Swiderski
- René Thiemann
- Christian von Essen
- Grigory Vartanyan
- Hermann Walth
- Christoph Weidmann
- Alexander Weinert
- Sebastian Weise
- Patrick Wiehe
- Eugen Yu
- Ivan Zlatin
Acknowledgements
Unfortunately, any sufficiently complex software system contains bugs. Our most sincere thanks go to those people that have discovered critical bugs in AProVE, most notably:
- Nao Hirokawa and Aart Middeldorp (authors of the system TTT)
- Hans Zantema and Adam Koprowski (authors of the systems TORPA and TPA)
- Ian Wehrman (former member of the Computational Logic group at Washington University)
- Salvador Lucas (author of the system MuTerm)
- Naomi Lindenstrauss (author of the system TermiLog)