Motras
Motras: a tool for modal transition systems and their extensions. 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.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
Sorted by year (- Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie: Logical vs. behavioural specifications (2020)
- Fendrich, Sascha; Lüttgen, Gerald: A generalised theory of interface automata, component compatibility and error (2019)
- Varshosaz, Mahsa; Luthmann, Lars; Mohr, Paul; Lochau, Malte; Mousavi, Mohammad Reza: Modal transition system encoding of featured transition systems (2019)
- Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie: Compositionality for quantitative specifications (2018)
- Schlachter, Uli; Wimmel, Harro: (k)-bounded Petri net synthesis from modal transition systems (2017)
- Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald; Vogler, Walter: Nondeterministic modal interfaces (2016)
- Fendrich, Sascha; Lüttgen, Gerald: A generalised theory of interface automata, component compatibility and error (2016)
- Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří: Refinement checking on parametric modal transition systems (2015)
- Křetínský, Jan; Sickert, Salomon: MoTraS: a tool for modal transition systems and their extensions (2013)