The following pages link to VMC (Q21724):
Displaying 5 items.
- Modal transition system encoding of featured transition systems (Q2423766) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- Family-Based SPL Model Checking Using Parity Games with Variability (Q5039535) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
