Developing Certified Program Verifiers with a Proof Assistant

Adam Chlipala. Developing Certified Program Verifiers with a Proof Assistant. Proceedings of the International Workshop on Proof-Carrying Code (PCC'06). August 2006.

Paper as PDF, Paper as PS


Abstract about a poster on certified program verifiers in Coq

You can download the poster in OpenOffice or PDF format.