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