MoTraS: A Tool for Modal Transition Systems and Their Extensions

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

KŘETÍNSKÝ Jan SICKERT Salomon

Year of publication 2013
Type Article in Proceedings
Conference Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1007/978-3-319-02444-8_41
Field Informatics
Keywords modal transition systems; composition; specification; interface theory
Description We present a tool for modal transition systems (MTS), disjunctive MTS and further extensions of MTS supporting also non-deterministic systems. We provide the operations required from specification theories as well as some additional support such as deterministic hull, LTL model checking etc. The tool comes with both graphical and command line interface.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.