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 1993 International Symposium on Software Testing and Analysis. 51–60