A Tool-Suite for Reachability Analysis of Concurrent Object-Oriented Programs.

Sridhar Iyer, S. Ramesh

Browse the full APSEC paper archive.