Login / Signup

Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs.

Sridhar IyerS. Ramesh
Published in: IEEE Trans. Software Eng. (2001)
Keyphrases
  • reachability analysis
  • object oriented programs
  • specification languages
  • open source
  • knowledge management
  • model checking