mtsa /

Filename Size Date modified Message
.settings
maven-root
2.4 KB
565 B
883 B
760 B

MTSA

Modal Transition System Analyser

MTSA webpage

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.

LTS Examples

Once you clone the repository, refer to examples folder in: mtsa/maven-root/mtsa/src/test/java/ltsa/dist/

Projects

Refer to our main webpage for more information on projects with MTSA.

Publications

Refer to our main webpage for more information on publications with MTSA.