Modal mu-Calculus

Runtime Monitoring for Hennessy-Milner Logic with Recursion over Systems with Data @ Séminaire LIGM
Runtime verification consists in monitoring the execution of a system to determine if it satisfies a property. We extend this to systems over data.
Léo Exibard
Dec 6, 2022
Slides
Runtime Monitoring for Hennessy-Milner Logic with Recursion over Systems with Data @ Séminaire Automates
Runtime verification consists in monitoring the execution of a system to determine if it satisfies a property. We extend this to systems over data.
Léo Exibard
Dec 2, 2022
Slides