From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL

DOI10.1007/978-3-319-63121-9_13zbMath1431.68074OpenAlexW2738172349MaRDI QIDQ5217306

Aleksandar S. 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)

Related Items (3)

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

This page was built for publication: From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL