A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications.

Beata Sarna-Starosta, R. E. Kurt Stirewalt, Laura K. Dillon

Browse the full SEKE paper archive.