Variability-Specific Abstraction Refinement for Family-Based Model Checking

DOI10.1007/978-3-662-54494-5_24zbMath1430.68151OpenAlexW2597775210MaRDI QIDQ5215914

Andrzej Wąsowski, Aleksandar S. Dimovski

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)

Related Items (5)

Family-Based SPL Model Checking Using Parity Games with Variability ⋮ Verifying annotated program families using symbolic game semantics ⋮ Finding suitable variability abstractions for lifted analysis ⋮ Generalized abstraction-refinement for game-based CTL lifted model checking ⋮ Lifted structural invariant analysis of Petri net product lines

This page was built for publication: Variability-Specific Abstraction Refinement for Family-Based Model Checking