DMCA

Verifying Concurrent C Programs with VCC (2010)

by Ernie Cohen , Stephan Tobies , Michał Moskal , Wolfram Schulte