Model Checking General Linear Temporal Logic

DOI10.1007/978-3-642-40537-2_12zbMath1401.68195OpenAlexW58948312MaRDI QIDQ2851939

John C. McCabe-Dansted, M. A. Reynolds, Tim French

Publication date: 4 October 2013

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-40537-2_12

Mathematics Subject Classification ID

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

This page was built for publication: Model Checking General Linear Temporal Logic