@techreport{jakse:hal-02190656, TITLE = {{Interactive Runtime Verification: Formal Models, Algorithms, and Implementation}}, AUTHOR = {Jakse, Rapha{\"e}l and Falcone, Yli{\`e}s and M{\'e}haut, Jean-Fran{\c c}ois}, URL = {https://inria.hal.science/hal-02190656}, TYPE = {Research Report}, INSTITUTION = {{UGA (Universit{\'e} Grenoble Alpes) ; LIG (Laboratoire informatique de Grenoble) ; Inria Grenoble Rh{\^o}ne-Alpes, Universit{\'e} de Grenoble}}, YEAR = {2019}, MONTH = Jul, KEYWORDS = {CCS Concepts: $\bullet$ Software and its engineering $\rightarrow$ Software testing and debugging Additional Key Words and Phrases: runtime verification ; property ; monitoring ; debugging}, PDF = {https://inria.hal.science/hal-02190656/file/acmsmall.pdf}, HAL_ID = {hal-02190656}, HAL_VERSION = {v1}, }