"VCC: A Practical System for Verifying Concurrent C."

Ernie Cohen et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics