Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\)

DOI10.1007/978-3-319-89363-1_17zbMath1423.68277arXiv1802.04970OpenAlexW2796097032MaRDI QIDQ2324189

Aleksandar S. Dimovski

Publication date: 16 September 2019

Full work available at URL: https://arxiv.org/abs/1802.04970

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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}\)