University of Jena, Department of Mathematics & Computer Science
Programming Languages and Compilers

The Frege Program Prover (FPP)

Introduction to the Frege Program Prover  |   Mechanical Program Verification (Budapest, Okt. 2008)

===>  Due to technical problems FPP is currently not running  <====

We hope FPP will be again available soon
 

If you have any comments or questions, please contact  Juergen Winkler

Home | Comments  |   Jürgen Winkler  2009Feb13  |  Carsten Freining 2001.Mai.22