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.
Legay, A., & Vink, de, E. P. (Eds.) (2014). SPLat 2014 : First International Workshop on Software Product Line Analysis Tools. Association for Computing Machinery, Inc. https://doi.org/10.1145/2648511.2648552