Deadlock Detection Algorithms

This work is still fairly experimental. As for now it can produce the geometry of simple PV programs (in geomview format), and it computes and represents the deadlocking regions. This is based on a technical report by Martin Raussen, Lisbeth Fajstrup (Aalborg University) and Eric Goubault. See the extended abstract. For more explanations on the syntax of programs, click here.

Please select the analyser you wish to use among the list and the output you wish to have

Please fill in the location of the program to analyze:

If you have any comments or suggestions, please email me at

Last update July 8, 1997