LTSA

LTSA (Labelled Transition System Analyser ingelesez, Etiketaturiko Trantsizio Sistemen Analizatzailea) sistema konkurrenteen egiaztapenerako tresna da.
Sistema konkurrente baten espezifikazioak betebeharreko propietateak betetzen dituela automatikoki frogatzen du. Gainera, LTSAk sistemen zehaztapenaren animazioa eskaintzen du, sistemaren portaeraren azterketa interaktiboa errazteko.

Kanpo estekak 
  LTSA - Labelled Transition System Analyser

Softwarea
Programazio konkurrentea