Login / Signup

The Case for Context-Bounded Verification of Concurrent Programs.

Shaz Qadeer
Published in: SPIN (2008)
Keyphrases
  • concurrent programs
  • context aware
  • source code
  • peer to peer