Using mCRL2 for the analysis of software product lines

M.H. Beek, ter, E.P. Vink, de

Onderzoeksoutput: Boek/rapportRapportAcademic

26 Citaten (Scopus)
157 Downloads (Pure)


We show how the formal specification language mCRL2 and its state-of-the-art toolset can be used successfully to model and analyze variability in software product lines. The mCRL2 toolset supports parametrized modeling, model reduction and quality assurance techniques like model checking. We present a proof-of-concept, which moreover illustrates the use of data in mCRL2 and also how to exploit its data language to manage feature attributes of software product lines and quantitative constraints between attributes and features. Keywords: Model checking, product lines, variability analysis, mCRL2
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's10
StatusGepubliceerd - 2014

Publicatie series

NaamComputer science reports
ISSN van geprinte versie0926-4515

Vingerafdruk Duik in de onderzoeksthema's van 'Using mCRL2 for the analysis of software product lines'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Beek, ter, M. H., & Vink, de, E. P. (2014). Using mCRL2 for the analysis of software product lines. (Computer science reports; Vol. 1402). Technische Universiteit Eindhoven.