Extended Computation Tree Logic

DOI10.1007/978-3-642-16242-8_6zbMath1306.68098arXiv1006.3709OpenAlexW3123850752MaRDI QIDQ4933296

Martin Lange, Stephan Kreutzer, Markus Latte, Matthew Hague, Roland Axelsson

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

Branching-time logics and fairness, revisited ⋮ Branching-time logics with path relativisation ⋮ Temporal logics with language parameters

This page was built for publication: Extended Computation Tree Logic