A game-based framework for CTL counterexamples and 3-valued abstraction-refinement
From MaRDI portal
Publication:5277790
DOI10.1145/1297658.1297659zbMath1367.68203WikidataQ124834098 ScholiaQ124834098MaRDI QIDQ5277790
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1297658.1297659
temporal logic; counterexamples; CTL; model-checking games; abstraction-refinement; 3-valued semantics
Related Items
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information, Multi-valued model checking games, Improved model checking of hierarchical systems, Producing explanations for rich logics, Generalized abstraction-refinement for game-based CTL lifted model checking, Compositional verification and 3-valued abstractions join forces, Abstraction and Abstraction Refinement