Motras

MaRDI QIDQ21227swMATHFDO

Official website https://www7.in.tum.de/~kretinsk/motras.html

Described by source

• MoTraS: a tool for modal transition systems and their extensions

Cited in

(14)

• Refinement checking on parametric modal transition systems
• \(k\)-bounded Petri net synthesis from modal transition systems
• ECDAR
• MIO Workbench
• VMC
• APT
• Mica
• A generalised theory of interface automata, component compatibility and error
• A generalised theory of interface automata, component compatibility and error
• MTSA
• Logical vs. behavioural specifications
• Compositionality for quantitative specifications
• Nondeterministic modal interfaces
• Modal transition system encoding of featured transition systems

This page was built for software: Motras