INHALTE
Publications
Publication
Analysis of the Verification Approaches for the Cyber-Physical Systems
- Authors:
-
Sergiy Korotunov
Galina Tabunshchyk
Dr.-Ing. Prof. h. c. Karsten Henke
Dr.-Ing. Heinz- Dietrich Wuttke
- Typ:
- Conferences
- Status:
- accepted
- Date of publication
- 04/15/2019
- Abstract:
- In the paper the possibility of utilization of the Kripke structures for applying linear-time temporal logic in problems of verification of reactive systems is considered. The definition and main characteristics of the cyberphysical systems, finite state machines, Kripke structures and temporal logics are considered by the authors. Example of modeling on the base of GOLDi is provided. Bibtex
- External link
- http://ceur-ws.org/Vol-2353/
- Documents
- https://www.semanticscholar.org/paper/Analysis-of-the-Verification-Approaches-for-the-Korotunov-Tabunshchyk/8255df9f4caf56d1a88dd4087a34e6c2980fcd65