Automata-Theoretic Model Checking Revisited

DOI10.1007/978-3-540-69738-1_10MaRDI QIDQ5452603zbMATH OpenOpenAlexFDO

Authors Moshe Y. Vardi

Publication date 4 April 2008

Published in (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Could not fetch data.

Recommendations

• Linear-Time Model Checking: Automata Theory in Practice
• Automata theory and model checking
• scientific article; zbMATH DE number 1507201
• An automata-theoretic approach to branching-time model checking
• scientific article; zbMATH DE number 910719

Cites work

This page was built for publication: Automata-Theoretic Model Checking Revisited

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