VCC: Contract-based modular verification of concurrent C.

Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte

Browse the full ICSE paper archive.