28 citations · 36 across the 4 of their papers we have counts for
1 paper · 2 filters
Simon Busard, Charles Pecheur
Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally…