Alex Groce

Suggest Changes
Learn More
  • Alex Groce
  • International Journal on Software Tools for…
  • 2004
In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance of the undesirable behavior.(More)