A primer on counterexample guided abstraction refinement of product-line behavioural models

Maxime Cordy, Bruno Dawagne, Patrick Heymans, Axel Legay, Martin Leucker, Pierre Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'A primer on counterexample guided abstraction refinement of product-line behavioural models'. Together they form a unique fingerprint.

Engineering & Materials Science