Formalizing System Behavior for Evaluating a System Hang Detector.

Long Wang, Zbigniew Kalbarczyk, Ravishankar K. Iyer

Browse the full SRDS paper archive.