Vincent Ribaudy

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Explicit model-checking is a brute force traversal of all possible model states that permits to assert if a property is satisfied or not. If the property is violated, the model-checker produces a counterexample trace. However, once the existence of a problem is proved, the designer is left with a counterexample trace that only exhibits the problem [1]. The(More)
  • 1