Developing Certified Program Verifiers with a Proof Assistant
Adam Chlipala.
Developing Certified Program Verifiers with a Proof Assistant.
Proceedings of International Workshop on Proof-Carrying Code (PCC'06).
August 2006.
Abstract about a poster on certified program verifiers in Coq
You can download the poster in OpenOffice or PDF format.
[ PS | PDF ]