Login / Signup

Local Verification of Global Invariants in Concurrent Programs.

Ernie CohenMichal MoskalWolfram SchulteStephan Tobies
Published in: CAV (2010)
Keyphrases
  • concurrent programs
  • model checking
  • concurrent programming