activity
20102026
most citedFolk Theorems on the Correspondence between State-Based and Event-Based Systems

27 citations · 152 across the 31 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.LO2025

Efficient Evidence Generation for Modal -Calculus Model Checking (extended version)

Anna Stramaglia, Jeroen J. A. Keiren, Maurice Laveaux +1

Model checking is a technique to automatically assess whether a model of the behaviour of a system meets its requirements. Evidence explaining why the behaviour does (not) meet its…