Analysis of the Verification Approaches for the Cyber-Physical Systems
Sergiy Korotunov, Galyna Tabunshchyk, Karsten Henke, Heinz‐Dietrich Wuttke · 2019
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.