VCC: A practical system for verifying concurrent C

by Ernie Cohen , Markus Dahlweid , Mark Hillebrand , Dirk Leinenbach , Michał Moskal , Thomas Santen , Wolfram Schulte , Stephan Tobies
Venue:IN CONF. THEOREM PROVING IN HIGHER ORDER LOGICS (TPHOLS), VOLUME 5674 OF LNCS
Citations:101 - 18 self