Software-product-line engineering has gained considerable momentum in recent years,
both in industry and in academia. A software product line is a family of software products that …

Diversity is prevalent in modern software systems to facilitate adapting the software to
customer requirements or the execution environment. Diversity has an impact on all phases …

The premise of variability-intensive systems, specifically in software product line
engineering, is the ability to produce a large family of different systems efficiently. Many such …

In product line engineering, systems are developed in families and differences between
family members are expressed in terms of features. Formal modelling and verification is an …

We study the problem of model checking software product line (SPL) behaviours against
temporal properties. This is more difficult than for single systems because an SPL with n …

Software product line engineering combines the individual developments of systems to the
development of a family of systems consisting of common and variable assets. In this paper …

We present SNIP, an efficient model checker for software product lines (SPLs). Variability in
software product lines is generally expressed in terms of features, and the number of …

Context: Software product line engineering has proven to be an efficient paradigm to
develo** families of similar software systems at lower costs, in shorter time, and with …

We present the formal underpinnings of a modelling and analysis framework for the
specification and verification of variability in product families. We address variability at the …

Abstract A Featured Transition System (FTS) models the behaviour of all products of a
Software Product Line (SPL) in a single compact structure, by associating action-labelled …