VMC
From MaRDI portal
Software:21724
swMATH9745MaRDI QIDQ21724FDOQ21724
Author name not available (Why is that?)
Cited In (5)
- Model Checking Value-Passing Modal Specifications
- From EU Projects to a Family of Model Checkers
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
- Family-Based SPL Model Checking Using Parity Games with Variability
- Modal transition system encoding of featured transition systems
This page was built for software: VMC
