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...

Full description

Bibliographic Details
Published in:	IEEE Transactions on software engineering 27, 11 (2001).
Main Author:	Iyer, S.
Format:	Article
Language:	English
Subjects:	Apportioning technique. Apportioning-based algorithms. Complex distributed systems. Computational complexity. Concurrent object-oriented programs. Concurrent programs. Deadlock freedom. Direct application. Experimental results. Formal verification. Global states. Modular reusable program components. Object-oriented paradigm. Program analysis points. Reachability analysis. Reusable classes. Software engineering. Static analysis. Synchronization structure.