VMC
From MaRDI portal
swMATH9745MaRDI QIDQ21724FDOQ21724
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_36
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
- ProMoVer
- Motras
- MIO Workbench
- DeltaCCS
- From EU projects to a family of model checkers. From Kandinsky to KandISTI
- Modal transition system encoding of featured transition systems
- MTSA
This page was built for software: VMC
