The automata-theoretic approach to verification of reactive systems

DOI10.1023/A:1014573629895zbMATH Open1029.68089OpenAlexW1590644632MaRDI QIDQ1407321FDOQ1407321

A. N. Chebotarev

Publication date: 16 September 2003

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014573629895

Recommendations

• Automata- and logic-based systems design
• Automata theory and model checking
• scientific article; zbMATH DE number 3982506
• Publication:4503922
• Automata-Theoretic Model Checking Revisited

zbMATH Keywords

reactive systemsconstruction of automata from formulasformulas of temporal logicsreduction and verification of automataverification of reactive systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (10)

• Checking finite traces using alternating automata
• FM 2005: Formal Methods
• Title not available (Why is that?)
• Verification of reactive systems via instantiation of parameterised Boolean equation systems
• Verification of reactive systems. Formal methods and algorithms.
• Title not available (Why is that?)
• A formal theory of simulations between infinite automata
• Resolution approach to testing compatibility of interacting automata
• Design of reactive algorithms by solving equations over automata
• Title not available (Why is that?)

This page was built for publication: The automata-theoretic approach to verification of reactive systems

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