Output details
11 - Computer Science and Informatics
Royal Holloway, University of London
Featured transition systems : Foundations for verifying variability- intensive systems and their application to LTL model checking
<07>This is an extended version of a paper published in ICSE2010, followed by a keynote at SPLC2012 and a tutorial at ICSE 2013. This is the first paper to propose efficient data structures and algorithms for reasoning about software product lines. The results have been implemented in tools (such as ProVeLines) that are currently used for real-world applications including DANFOSS. The model introduced in this paper is used by Martin Leucker (Germany), Stefania Gnesi (Italy), Sven Apple (Germany), Andrzej Wasowski (Denmark) and Kim Larsen (Denmark), and is also being exploited by Klaus Pohl (Duisburg-Essen), Krzysztof Czarnecki and Marsha Chechik (Canada).