The Open Verifier framework for foundational verifiers (2005)

by Bor-Yuh Evan Chang, Adam Chlipala, George C Necula, Robert R Schneck
Venue:In Proc. the 2nd ACM Workshop on Types in Language Design and Implementation (TLDI’05