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.