Improved model checking of hierarchical systems
From MaRDI portal
Publication:418123
DOI10.1016/j.ic.2011.10.008zbMath1277.68130MaRDI QIDQ418123
Orna Kupferman, Aniello Murano, Benjamin Aminof
Publication date: 24 May 2012
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2011.10.008
parity games; model checking; two-player games; hierarchical systems; abstraction-refinement; branching-time temporal logics
91A05: 2-person games
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)