28 citations · 38 across the 5 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…