DeltaCCS

MaRDI QIDQ26376swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-662-45234-9_23

Described by source

• Incremental model checking of delta-oriented software product lines

Cited in

(6)

• Family-based SPL model checking using parity games with variability
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• ProMoVer
• VMC
• MTSA
• From EU projects to a family of model checkers. From Kandinsky to KandISTI

This page was built for software: DeltaCCS