On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

DOI10.18255/1818-1015-2020-4-396-411MaRDI QIDQ5060075zbMATH OpenOpenAlexFDO

Authors E. M. Vinarskii, Vladimir A. Zakharov

Publication date 17 January 2023

Published in Modeling and Analysis of Information Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL http://mathnet.ru/eng/mais724

zbMATH Keywords

finite-state machinelabeled transition systemreactive systemsecurity propertysimulationverification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1507209
• Reactive Systems
• scientific article; zbMATH DE number 2102690
• A theory of timed automata
• scientific article; zbMATH DE number 177824

Cites work

• A theory of timed automata
• Alternating timed automata
• Deterministic timed finite state machines: equivalence checking and expressive power
• Formal Methods for the Design of Real-Time Systems
• Formal Methods for the Design of Real-Time Systems
• Formal testing from timed finite state machines
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3254909 (Why is no real title available?)
• Timed regular expressions

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: On the Modeling of Sequential Reactive Systems by Means of Real Time Automata

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