Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL (Extended Version)

Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski

Variability models allow effective building of many custom model variants for various configurations. Lifted model checking for a variability model is capable of verifying all its…