Modal Transition System Analyser
What is MTSA?
The Modal Transition Analyser (MTSA) is a joint research effort of the Distributed Software Engineering (DSE) group at Imperial College London and the Laboratory on Foundations and Tools for Software Engineering (LaFHIS) at University of Buenos Aires.
How to install
You can run MTSA using JAVA. Just download the JAR and run it.
Once you clone the repository, refer to examples folder in: mtsa/maven-root/mtsa/src/test/java/ltsa/dist/
Refer to our main webpage for more information on projects with MTSA.
Refer to our main webpage for more information on publications with MTSA.