Harmonization of automata specifications represented in the language L

DOI10.1007/s10559-016-9834-1zbMath1392.68215OpenAlexW2398590839MaRDI QIDQ334231

Anatoli N. Chebotarev

Publication date: 1 November 2016

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

Full work available at URL: https://doi.org/10.1007/s10559-016-9834-1

zbMATH Keywords

automaton specificationcomposition correctnesscomposition of specificationsharmonization of specificationslanguage L

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata ⋮ Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic

Cites Work

• Unnamed Item
• Unnamed Item
• Harmonization of interacting automata
• General method of testing the compatibility of interacting automata with finite memory
• Consistency test for simple specifications of automaton systems
• Separable resolution method for checking the satisfiability of formulas in the language \({\mathfrak L}\)

This page was built for publication: Harmonization of automata specifications represented in the language L