VCC: A Practical System for Verifying Concurrent C

@inproceedings{pub4274,
    author = {

Cohen, Ernie
 and 

Dahlweid, Markus
 and 

Hillebrand, Mark
 and 

Leinenbach, Dirk
 and 

Moskal, Michael
 and 

Santen, Thomas
 and 

Schulte, Wolfram
 and 

Tobies, Stephan
},
    editor = {

Berghofer, Stefan
 and 

Nipkow, Tobias
 and 

Urban, Christian
 and 

Wenzel, Makarius
},
    title = {VCC: A Practical System for Verifying Concurrent C},
    booktitle = {Theorem Proving in Higher Order Logics, 22nd International Conference. International Conference on Theorem Proving in Higher Order Logics (TPHOLs-09), August 17-20, Munich, Germany},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2009},
    month = {8},
    volume = {5674},
    pages = {23--42},
    publisher = {Springer},
    isbn = {978-3-642-03358-2}
}