Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL.

Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski

Browse the full FASE paper archive.