ProVeLines: A Product Line of Verifiers for Software Product Lines

Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Research output: Contribution to conferencePaper

Abstract

Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, the model checking problem is harder than for single software. A practical way to face this exponential blow-up is to reuse common behaviour between products. We previously introduced Featured Transition Systems (FTS), a mathematical model that serves as a basis for efficient SPL model checking techniques. In this paper, we present ProVeLines, a product line of verifiers for SPLs that incorporates the results of over three years of research on formal verification of SPLs. Being itself a product line, our tool is flexible and extensible, and offers a wide range of solutions for SPL modelling and verification. Copyright 2013 ACM.
Original languageEnglish
Pages141 - 146
Number of pages6
DOIs
Publication statusPublished - Aug 2013
Event17th International Software Product Line Conference - Tokyo, Tokyo, Japan
Duration: 26 Aug 201330 Aug 2013

Conference

Conference17th International Software Product Line Conference
CountryJapan
CityTokyo
Period26/08/1330/08/13

Keywords

  • Software Product Line Engineering

Fingerprint Dive into the research topics of 'ProVeLines: A Product Line of Verifiers for Software Product Lines'. Together they form a unique fingerprint.

  • Projects

    Cite this

    Cordy, M., Classen, A., Heymans, P., Schobbens, P-Y., & Legay, A. (2013). ProVeLines: A Product Line of Verifiers for Software Product Lines. 141 - 146. Paper presented at 17th International Software Product Line Conference, Tokyo, Japan. https://doi.org/10.1145/2499777.2499781