Ziad Ben Snaiba: Logics and Algorithms for Product and Family-Based Analysis of Software Product Lines
–
Most model checking techniques consider single systems. With the rise of using Software Product Line Engineering (SPLE) for critical systems there is a need for model checking techniques applicable to Software Product Lines (SPL). Inspired …continue reading