Provides a set of predefined FSP process descriptions. Selecting one will insert the description at the current cursor position in the FSP window.

Composite processes are minimised by default during compilation (ie. Composite processes which are components of the target). This menu item disables the automatic minimisation.

This option determines the type of liveness test performed. The default is that if a state has more than one outgoing transition then if the choice of successor state is made infinitely often then each transition will be choosen infinitely often. If fair choice is not assumed then liveness checks do not assume fair choice. Consequently, most cycles will cause violations.