Efficient Evidence Generation for Modal $\hat{I}¼$-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…