The automata-theoretic approach to verification of reactive systems

DOI10.1023/A:1014573629895zbMath1029.68089OpenAlexW1590644632MaRDI QIDQ1407321

Anatoli 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

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)

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