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

by E Cohen, M Dahlweid, M Hillebrand, D Leinenbach, M Moskal, T Santen, W Schulte, S Tobies
Venue:In Proc. of the 22nd Intl. Conf. on Theorem Proving in Higher Order Logics, TPHOLs ’09