The open verifier framework for foundational verifiers (2005)

by B-Y Chang, A Chlipala, G Necula, R Schneck
Venue:In Proc. TLDI’05