Local Verification of Global Invariants in Concurrent Programs.

Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies

Browse the full CAV paper archive.