Model checking using automata theory

MaRDI QIDQ4503921zbMATH OpenFDO

Authors Doron Peled

Publication date 1 April 2001

zbMATH Keywords

\(\omega\)-automata theoryLTL model checking

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Linear-Time Model Checking: Automata Theory in Practice
• Automata theory and model checking
• Automata-Theoretic Model Checking Revisited
• Model checking.
• scientific article; zbMATH DE number 2080188

Cited in

(11)

• Automated Termination in Model Checking Modulo Theories
• Linear-Time Model Checking: Automata Theory in Practice
• Model-Checking First-Order Logic: Automata and Locality
• Machine-assisted verification using theorem proving and model checking
• Model Checking Using Generalized Testing Automata
• Finite Models vs Tree Automata in Safety Verification
• Model checking stochastic automata
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 5245252 (Why is no real title available?)
• Automata-Theoretic Model Checking Revisited
• Formal Approaches to Software Testing

This page was built for publication: Model checking using automata theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4503921)