Apportioning a technique for efficient reachability analysis of concurrent object-oriented programs.

The object-oriented paradigm in software engineering provides support for the construction of modular and reusable program components and is attractive for the design of large and complex distributed systems. Reachability analysis is an important and well-known tool for static analysis of critical p...

תיאור מלא