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)

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

This page was built for software: Motras