A tasking deadlock detector for Ada programs.

Jingde Cheng, Yoshiaki Kasahara, Kazuo Ushijima

Browse the full COMPSAC paper archive.