Model-Checking

A Decade of Featured Transition Systems

Variability-intensive systems (VIS) form a large and heterogeneous class of systems whose behaviour can be modified by enabling or disabling predefined features. Variability …

maxime-cordy

A Vision for Behavioural Model-Driven Validation of Software Product Lines

The Software Product Lines (SPLs) paradigm promises faster development cycles and increased quality by systematically reusing software assets. This paradigm considers a family of …

xdevroey