At a Glance
| Applications | Model Checker |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2018
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.