MoTraS: A Tool for Modal Transition Systems and Their Extensions

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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
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.