[2024-03-28 Thu]: Our paper "General Anticipatory Runtime Verification" accepted at CAV 24

Raik Hipler and Hannes Kallwies and Martin Leucker and César Sánchez: ``General Anticipatory Runtime Verification’’ will appear in CAV 24 (LNCS 14682), pp 133-155, Springer.

Mar 28, 2024
César Sánchez
César Sánchez
Professor

My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Reactive Synthesis Modulo Theories. Applications to Blockchain.