Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

85 Downloads (Pure)

1 results

Filter

Finished
Evolution: Evolution
Cleve, A.
1/01/10 → 31/01/10
Project: Research Axis