A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier

Typ

Beitrag Zeitschrift von Prof. Dr. Thomas Baar

Zitation

Baar, Thomas; Staroletov, Sergey: A Control Flow Graph Based Approach to Make the Verification of Cyber-Physical Systems Using KeYmaera Easier. In: Modeling and Analysis of Information Systems, S. 465-480, 2018, ISSN 2313-5417 (online) 1818-1015 (print)

Homepage

https://www.mais-journal.ru/jour/article/view/752 / DOI: 10.18255/1818-1015-2018-5-465-480