Corpus ID: 146120267

Analysis of the Verification Approaches for the Cyber-Physical Systems

@inproceedings{Korotunov2019AnalysisOT,
  title={Analysis of the Verification Approaches for the Cyber-Physical Systems},
  author={S. Korotunov and G. Tabunshchyk and K. Henke and H. Wuttke},
  booktitle={CMIS},
  year={2019}
}

S. Korotunov, G. Tabunshchyk, +1 author H. Wuttke

Published in CMIS 2019

Computer Science

View Paper

Save to Library

Create Alert

Cite

Launch Research Feed

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.