University funded project A99/15:
Infinite-State Model-Checking


Investigators: Michael Leuschel and Ulrich Ultes-Nitsche.
Research Fellow: Stefan Gruner.

Under Construction.
 
Declarative Systems and Software Engineering Group, Department of Electronics and Computer Science, University of Southampton, Southampton, SO17 1BJ, United Kingdom

(c) 2000 Ulrich Ultes-Nitsche