MTSA

MaRDI QIDQ21756swMATHFDO

Official website https://dl.acm.org/doi/pdf/10.1109/ASE.2008.78

Source code repository https://bitbucket.org/lnahabedian/mtsa/src/master/

Cited in

(14)

• EXPTIME-completeness of thorough refinement on modal transition systems
• On-the-fly informed search of non-blocking directed controllers
• MDD4SOA. Model-driven development for service-oriented architectures.
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• ProMoVer
• Motras
• MIO Workbench
• VMC
• LTSA-WS
• DeltaCCS
• Supremica
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
• FSP and FLTL framework for specification and verification of middle-agents
• Modal transition system encoding of featured transition systems

This page was built for software: MTSA