LTSA - Labelled Transition System Analyser
LTSA - Labelled Transition System Analyser
LTSA is a verification tool for concurrent systems. It mechanically checks that the specification of a concurrent system satisfies the properties required of its behaviour. In addition, LTSA supports specification animation to facilitate interactive exploration of system behaviour.