p2hup.gif (253 bytes)

Labelled Transition System Analyser
V3.0

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

Use Help/Manual menu to see User Manual.

FSP Quick reference here

Download