SPLverifier: Model Checking of Software Product Lines


Uni Logo

Software Product Line Group

Software Systems Lab

SPLverifier: papers & downloadsΒΆ

The SPLverifier tool chain has been used in several experiments discussed in several papers. We provide the corresponding versions of the tool chain for download under the following links:

Detection of Feature Interactions using Feature-Aware Verification. International Conference on Automated Software Engineering (ASE), November 2011.

Strategies for Product-Line Verification: Case Studies and Experiments. International Conference on Software Engineering (ICSE), May 2013;