Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.

Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz

Browse the full ISSTA paper archive.