From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL}

DOI10.1007/978-3-319-63121-9_13MaRDI QIDQ5217306zbMATH OpenOpenAlexFDO

Authors Aleksandar Dimovski, Andrzej Wąsowski

Publication date 24 February 2020

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63121-9_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Variability-specific abstraction refinement for family-based model checking
• Abstract family-based model checking using modal featured transition systems: preservation of \(\mathrm{CTL}^{\star}\)
• Generalized abstraction-refinement for game-based CTL lifted model checking
• Family-based model checking with mCRL2
• Finding suitable variability abstractions for lifted analysis

Cited in

(9)

• Verifying annotated program families using symbolic game semantics
• 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 model checking with mCRL2
• Variability-specific abstraction refinement for family-based model checking
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
• Variability abstraction and refinement for game-based lifted model checking of full CTL

This page was built for publication: From transition systems to variability models and from lifted model checking back to \textsf{UPPAAL}

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