MoTraS: A Tool for Modal Transition Systems and Their Extensions

Jan Křetínský,Salomon Sickert

doi:10.1007/978-3-319-02444-8_41

MoTraS: A Tool for Modal Transition Systems and Their Extensions

Jan Křetínský, Salomon Sickert

https://doi.org/10.1007/978-3-319-02444-8_41

Copy DOI

Publication Date: Jan 1, 2013

Citations: 21

Affiliation: Masaryk University, Technical University of Munich

#Modal Transition Systems #Disjunctive Modal Transition Systems + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

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.

Full Text