Buy one, get one free!!!

DOI10.1093/logcom/6.4.523zbMath0857.03009OpenAlexW1969404042MaRDI QIDQ4895547

Orna Grumberg, Orna Kupferman

Publication date: 17 November 1996

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/6.4.523

zbMATH Keywords

CTLtemporal operatorsbranching time temporal logiclinear-time model-checking procedure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items

Complexity of synthesis of composite service with correctness guarantee ⋮ Pushdown module checking ⋮ Specification in CTL + past for verification in CTL. ⋮ Module checking ⋮ An infinite hierarchy of temporal logics over branching time