Cited in
(10)- Family-based SPL model checking using parity games with variability
- Model Checking Value-Passing Modal Specifications
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Modal transition system encoding of featured transition systems
- ProMoVer
- Motras
- MIO Workbench
- DeltaCCS
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- MTSA
This page was built for software: VMC
