Using state space reduction methods for deadlock analysis in Ada tasking (1993)

by S Duri, U Buy, R Devarapalli, S M Shatz
Venue:In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA