Variability abstraction and refinement for game-based lifted model checking of full CTL

DOI10.1007/978-3-030-16722-6_11zbMath1524.68186arXiv1902.05594OpenAlexW2934549348MaRDI QIDQ6091321

Andrzej Wąsowski, Aleksandar S. Dimovski, Axel Legay

Publication date: 24 November 2023

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

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

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Variability abstraction and refinement for game-based lifted model checking of full CTL