VMC
From MaRDI portal
Software:21724
No author found.
Related Items (5)
Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Model Checking Value-Passing Modal Specifications ⋮ Modal transition system encoding of featured transition systems ⋮ 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
This page was built for software: VMC
