2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Bernd Finkbeiner, Andrey Kupriyanov
Model checking is usually based on a comprehensive traversal of the state space. Causality-based model checking is a radically different approach that instead analyzes the cause-ef…