Linear-Time Model Checking: Automata Theory in Practice

DOI10.1007/978-3-540-76336-9_2zbMath1139.68376OpenAlexW1577467811MaRDI QIDQ3503888

Moshe Y. Vardi

Publication date: 10 June 2008

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-76336-9_2

zbMATH Keywords

model checkingBüchi automatalinear-temporal logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Theories of automata on \(\omega\)-tapes: a simplified approach
• Reasoning about infinite computations
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Automata-Theoretic Model Checking Revisited
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Linear-Time Model Checking: Automata Theory in Practice