Login / Signup
Local Verification of Global Invariants in Concurrent Programs.
Ernie Cohen
Michal Moskal
Wolfram Schulte
Stephan Tobies
Published in:
CAV (2010)
Keyphrases
</>
concurrent programs
model checking
concurrent programming