From Church and Prior to PSL

DOI10.1007/978-3-540-69850-0_10zbMath1142.68051OpenAlexW1578302512MaRDI QIDQ3512439

Moshe Y. Vardi

Publication date: 15 July 2008

Published in: 25 Years of Model Checking (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69850-0_10

zbMATH Keywords

history

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

Related Items (8)

Transfer of Model Checking to Industrial Practice ⋮ Functional Specification of Hardware via Temporal Logic ⋮ On the Hybrid Extension of CTL and CTL + ⋮ Linear temporal logic symbolic model checking ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ Almost event-rate independent monitoring ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

This page was built for publication: From Church and Prior to PSL