SPLat 2014
Axel Legay, E.P. de Vink · 2014
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.