A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Using FMC for family-based analysis of software product lines
2015
Proceedings of the 19th International Conference on Software Product Line - SPLC '15
We show how the FMC model checker can successfully be used to model and analyze behavioural variability in Software Product Lines. FMC accepts parameterized specifications in a process-algebraic input language and allows the verification of properties of such models by means of efficient on-the-fly model checking. The properties can be expressed in a logic that allows to correlate the parameters of different actions within the same formula. We show how this feature can be used to tailor
doi:10.1145/2791060.2791118
dblp:conf/splc/BeekFGM15
fatcat:hzkuxy4g2bca7j3rnqg2ncqdqq