MSTA
From MaRDI portal
Software:21756
No author found.
Related Items (7)
Modal transition system encoding of featured transition systems ⋮ FSP and FLTL framework for specification and verification of middle-agents ⋮ EXPTIME-completeness of thorough refinement on modal transition systems ⋮ Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints ⋮ Unnamed Item ⋮ Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete ⋮ On-the-fly informed search of non-blocking directed controllers
This page was built for software: MSTA
