[2023-06-21 Thu]: Our paper "Runtime verification of real-time event streams using the tool HStriver" accepted to Formal Methods in System Design
Felipe Gorostiaga and César Sánchez: ``Runtime verification of real-time event streams using the tool HStriver’’ will appear in Springer’s Journal Formal Methods in Systems Design. This is the journal version of our FM'23 paper.
César Sánchez
Research Professor
My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Applications to Blockchain.