VMC
From MaRDI portal
Software:21724
swMATH9745MaRDI QIDQ21724FDOQ21724
Author name not available (Why is that?)
Cited In (5)
- 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
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Modal transition system encoding of featured transition systems
This page was built for software: VMC
