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;
