The automata-theoretic approach to verification of reactive systems

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

Authors: 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 (23)

• Automata theory and model checking
• Reactive automata
• Checking finite traces using alternating automata
• FM 2005: Formal Methods
• Verifying specifications in the language L against temporal properties nonexpressible in this language
• Title not available (Why is that?)
• Automated program verification
• Verification of reactive systems via instantiation of parameterised Boolean equation systems
• A language-theoretic view of verification
• Verification of reactive systems. Formal methods and algorithms.
• Title not available (Why is that?)
• A formal theory of simulations between infinite automata
• Automata-based analysis of stage suspended boom systems
• Resolution approach to testing compatibility of interacting automata
• Design of reactive algorithms by solving equations over automata
• Automata- and logic-based systems design
• Program verification: state of the art, problems, and results. I
• Temporal verification of reactive systems: response
• Harmonization of interacting automata
• Specifying and verifying external behaviour of fair input/output automata by using the temporal logic of actions
• Tightening the Exchange Rates Between Automata
• Title not available (Why is that?)
• Program verification: state of the art, problems, and results. II

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)