Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\)
From MaRDI portal
Publication:2324189
DOI10.1007/978-3-319-89363-1_17zbMath1423.68277arXiv1802.04970OpenAlexW2796097032MaRDI QIDQ2324189
Publication date: 16 September 2019
Full work available at URL: https://arxiv.org/abs/1802.04970
Related Items (3)
Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Finding suitable variability abstractions for lifted analysis ⋮ Generalized abstraction-refinement for game-based CTL lifted model checking
This page was built for publication: Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\)