Harmonization of interacting automata
From MaRDI portal
Recommendations
- Harmonization of automata specifications represented in the language L
- Resolution approach to testing compatibility of interacting automata
- Resolution-based approach to compatibility analysis of interacting automata
- The automata-theoretic approach to verification of reactive systems
- General method of testing the compatibility of interacting automata with finite memory
Cites work
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1759605 (Why is no real title available?)
- scientific article; zbMATH DE number 2086659 (Why is no real title available?)
- Compositional approach to the development of reactive algorithms
- Defining liveness
- Deterministic generators and games for LTL fragments
- General method of testing the compatibility of interacting automata with finite memory
- Interacting automata
- Verification, Model Checking, and Abstract Interpretation
Cited in
(6)- Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of -automata
- Resolution-based approach to compatibility analysis of interacting automata
- Resolution approach to testing compatibility of interacting automata
- Harmonization of automata specifications represented in the language L
- scientific article; zbMATH DE number 3862474 (Why is no real title available?)
- Problems of synthesis of -automata specified in languages LP and LF of first order logic
This page was built for publication: Harmonization of interacting automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q904417)