Variability-specific abstraction refinement for family-based model checking

DOI10.1007/978-3-662-54494-5_24MaRDI QIDQ5215914zbMATH OpenOpenAlexFDO

Authors Aleksandar Dimovski, Andrzej Wąsowski

Publication date 13 February 2020

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54494-5_24

Mathematics Subject Classification ID

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

Recommendations

• Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\)
• From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL}
• Family-based model checking with mCRL2
• Generalized abstraction-refinement for game-based CTL lifted model checking
• Family-based SPL model checking using parity games with variability

Cited in

(10)

• Verifying annotated program families using symbolic game semantics
• Lifted structural invariant analysis of Petri net product lines
• Generalized abstraction-refinement for game-based CTL lifted model checking
• Finding suitable variability abstractions for family-based analysis
• Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\)
• Finding suitable variability abstractions for lifted analysis
• Family-based SPL model checking using parity games with variability
• Family-based model checking with mCRL2
• From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL}
• Variability abstraction and refinement for game-based lifted model checking of full CTL

This page was built for publication: Variability-specific abstraction refinement for family-based model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5215914)