@inproceedings{704a18f97b604619a2615d8cbbb88f0a,
title = "ThEodorE: A Trace Checker for CPS Properties",
abstract = "ThEodorE is a trace checker for Cyber-Physical systems (CPS). It provides users with (i) a GUI editor for writing CPS requirements; (ii) an automatic procedure to check whether the requirements hold on execution traces of a CPS. ThEodorE enables writing requirements using the Hybrid Logic of Signals (HLS), a novel, logic-based specification language to express CPS requirements. The trace checking procedure of ThEodorE reduces the problem of checking if a requirement holds on an execution trace to a satisfiability problem, which can be solved using off-the-shelf Satisfiability Modulo Theories (SMT) solvers. This artifact paper presents the tool support provided by ThEodorE.",
keywords = "Formal methods, Languages, Monitors, Semantics, Specification, Validation",
author = "Claudio Menghi and Enrico Vigano and Domenico Bianculli and Briand, {Lionel C.}",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021 ; Conference date: 25-05-2021 Through 28-05-2021",
year = "2021",
month = may,
doi = "10.1109/ICSE-Companion52605.2021.00079",
language = "English",
series = "Proceedings - International Conference on Software Engineering",
publisher = "IEEE Computer Society",
pages = "183--184",
booktitle = "Proceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering",
}