MoTraS: A Tool for Modal Transition Systems and Their Extensions

DOI10.1007/978-3-319-02444-8_41zbMath1410.68232OpenAlexW2103450111MaRDI QIDQ5166714

Salomon Sickert, Jan Křetínský

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_41

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (9)

Nondeterministic modal interfaces ⋮ A generalised theory of interface automata, component compatibility and error ⋮ Modal transition system encoding of featured transition systems ⋮ Compositionality for quantitative specifications ⋮ A Generalised Theory of Interface Automata, Component Compatibility and Error ⋮ Logical vs. behavioural specifications ⋮ Motras ⋮ k-Bounded Petri Net Synthesis from Modal Transition Systems. ⋮ Refinement checking on parametric modal transition systems

Uses Software

• ECDAR
• MIO Workbench

This page was built for publication: MoTraS: A Tool for Modal Transition Systems and Their Extensions