Quantified CTL: Expressiveness and Model Checking
From MaRDI portal
Publication:2914370
DOI10.1007/978-3-642-32940-1_14zbMath1364.68261OpenAlexW103048026MaRDI QIDQ2914370
Nicolas Markey, François Laroussinie, Arnaud da Costa
Publication date: 25 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32940-1_14
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (7)
\(\mathsf{QCTL}\) model-checking with \(\mathsf{QBF}\) solvers ⋮ Reasoning About Strategies ⋮ On the semantics of strategy logic ⋮ Augmenting ATL with strategy contexts ⋮ Unnamed Item ⋮ IPL: an integration property language for multi-model cyber-physical systems ⋮ A logic with revocable and refinable strategies
This page was built for publication: Quantified CTL: Expressiveness and Model Checking
