DeltaCCS

swMATH14476MaRDI QIDQ26376FDOQ26376

Author name not available (Why is that?)

Described by source

• Incremental model checking of delta-oriented software product lines

Cited In (3)

• 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

This page was built for software: DeltaCCS