VCC: A practical system for verifying concurrent C. (2009)

by E Cohen, M Dahlweid, M A Hillebrand, D Leinenbach, M Moskal, T Santen, W Schulte, S Tobies
Venue:In Theorem Proving in Higher Order Logics,