Paper on Variability Parity Games accepted at FASE 2020

The paper “Family-Based SPL Model Checking Using Parity Games with Variability” by Maurice ter Beek, Sjef van Loo, Erik de Vink and Tim Willemse has been accepted for presentation at FASE, part of ETAPS 2020, in Dublin. The work is based on Sjef’s Master’s thesis.