Automata- and logic-based systems design

MaRDI QIDQ5435639zbMATH OpenFDO

Authors Moshe Y. Vardi

Publication date 14 January 2008

zbMATH Keywords

linear temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Automata theory and model checking
• The automata-theoretic approach to verification of reactive systems
• scientific article; zbMATH DE number 5872401
• An automata-theoretic approach to infinite-state systems
• scientific article; zbMATH DE number 1670767

Cited in

(15)

• A formal theory of simulations between infinite automata
• The automata-theoretic approach to verification of reactive systems
• scientific article; zbMATH DE number 2185688 (Why is no real title available?)
• Representation of semiautomata by canonical words and equivalences. II: Specification of software modules
• Automata theory and model checking
• Automata Applications in Chip-Design Software
• From Philosophical to Industrial Logics
• scientific article; zbMATH DE number 53900 (Why is no real title available?)
• scientific article; zbMATH DE number 1223628 (Why is no real title available?)
• scientific article; zbMATH DE number 1507202 (Why is no real title available?)
• Specification and verification using temporal logics
• Automata on infinite words and their applications in formal verification
• From Löwenheim to PSL and SVA
• An automata-theoretic approach to linear temporal logic
• First order Büchi automata and their application to verification of LTL specifications

This page was built for publication: Automata- and logic-based systems design

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