A. Legay and E.P. de Vink
SPLat 2014: first international workshop on Software Product Line Analysis 
Tools

The SPLat 2014 workshop aims to provide a platform for the presentation and
positioning of formal analysis tools as used in Software Product Line
Engineering for the identification of commonalities and differences of these
tools as well as for the inventorying of challenges for their application.
SPLat 2014 focuses on the underlying concepts and overall approach, in
particular how to mitigate combinatorial explosion.