p2hup.gif (253 bytes)

Labelled Transition System Analyser
V2.2

Use File/Examples menu to select an FSP example  to analyse.

Download

Unable to load applet, Requires Java Plugin 1.3