Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking. - Sastry Duri; Ugo A. Buy; R. Devarapalli; Sol M. Shatz (ISSTA, 1993)

Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. - Sastry Duri; Ugo A. Buy; R. Devarapalli; Sol M. Shatz (ACM Trans. Softw. Eng. Methodol., 1994)