Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version)

Aleksandar S. Dimovski

Variational systems allow effective building of many custom variants by using features (configuration options) to mark the variable functionality. In many of the applications, thei…