http://www.tu-ilmenau.de

Logo TU Ilmenau


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