VMC

MaRDI QIDQ21724swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-32759-9_36

Cited in

(10)

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

This page was built for software: VMC