Proof Database

This web site collects the automated proofs from the paper

Rudolf Berghammer, Georg Struth. On Automated Program Construction and Verification, MPC 2010, LNCS 6120, Springer, 2010.

All proof have been carried out with the automated theorem prover Prover9. The proofs can be downloaded here

© 2010. Rudolf Berghammer, Demetris Kennes, Georg Struth