Detecting Circular Dependencies in Forward Progress Checkers

Saurabh Chaurdia, Arun Khurana, Naveen Kumar, Aditya Chaurasiya, Yogesh Mahajan, Prasenjit Biswas

Paper