MoTraS: A Tool for Modal Transition Systems and Their Extensions

Logo poskytovatele

Varování

Publikace nespadá pod Ekonomicko-správní 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.