MoTraS: A Tool for Modal Transition Systems and Their Extensions

• Autoři: KŘETÍNSKÝ Jan; SICKERT Salomon
• Rok publikování: 2013
• Druh: Článek ve sborníku
• Konference: Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013
• Fakulta / Pracoviště MU: Fakulta informatiky
• Citace: KŘETÍNSKÝ, Jan a Salomon SICKERT. MoTraS: A Tool for Modal Transition Systems and Their Extensions. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013. Heidelberg Dordrecht London New York: Springer, 2013, s. 487-491. ISBN 978-3-319-02443-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02444-8_41.
• Doi: http://dx.doi.org/10.1007/978-3-319-02444-8_41
• Obor: Informatika
• Klíčová slova: modal transition systems; composition; specification; interface theory
• Popis: 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.

Související projekty

• Centrum excelence - Institut teoretické informatiky
• Zapojení studentů Fakulty informatiky do mezinárodní vědecké komunity
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II.