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.
If you have any comments or suggestions, please email me at goubault@di.ens.fr
Last update July 8, 1997