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)

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

This page was built for software: MTSA