AProVE

Contributors

Since its conception in April 2001, many people have contributed to the success of the AProVE system.

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:

3rd party software

AProVE uses the following 3rd party libraries and development tools:

Current Contributors

Past Contributors

Disclaimer