Login / Signup

A General Model for Reachability Testing of Concurrent Programs.

Richard H. CarverYu Lei
Published in: ICFEM (2004)
Keyphrases
  • concurrent programs
  • process algebra
  • concurrent programming
  • model checking
  • concurrent processes
  • formal specification
  • real time
  • formal methods
  • concurrent systems
  • case study