reddit

“"This is a totally different approach to what people had done before for deadlock. Previously, engineers would try to identify potential deadlocks through testing or program analysis and then go back and rewrite the program. The bug fixes were manual, and not automatic. Gadara automates the process," said St�phane Lafortune, a professor in the Department of Electrical Engineering and Computer Science and a Gadara developer.” source...