The Open Verifier framework for foundational verifiers (2005)

by Bor-yuh Evan , Chang Adam Chlipala , George C. Necula , Robert R. Schneck
Venue:In Proc. of the 2nd Workshop on Types in Language Design and Implementation
Citations:28 - 7 self

Document Versions

The Open Verifier framework for foundational verifiers –Bor-yuh Evan, Chang Adam Chlipala, George C. Necula, Robert R. Schneck — 2005 — In Proc. of the 2nd Workshop on Types in Language Design and Implementation
The Open Verifier Framework for Foundational Verifiers –Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck — 2005 — In Proc. of the 2nd Workshop on Types in Language Design and Implementation
The Open Verifier framework for foundational verifiers –Bor-yuh Evan, Chang Adam Chlipala, George C. Necula, Robert R. Schneck — 2005 — In Proc. of the 2nd Workshop on Types in Language Design and Implementation
The Open Verifier framework for foundational verifiers –Bor-yuh Evan, Chang Adam Chlipala, George C. Necula, Robert R. Schneck — 2005 — In Proc. of the 2nd Workshop on Types in Language Design and Implementation