Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems

DOI10.1145/3060257zbMath1426.68166OpenAlexW2610066027MaRDI QIDQ4640287

Heidy Khlaaf, Byron Cook, Nir Piterman

Publication date: 17 May 2018

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10075277/

zbMATH Keywords

model checkingCTL*

Mathematics Subject Classification ID

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

Related Items

Automatic discovery of fair paths in infinite-state transition systems, Unnamed Item, Proving the existence of fair paths in infinite-state systems, \textsc{LTL} falsification in infinite-state systems