Learn More
If a program does not fulfill a given specification, a model checker delivers a counterexample , a run which demonstrates the wrong behavior. Even with a counterexample, locating the actual fault in the source code is often a difficult task for the verification engineer. We present an automatic approach for fault localization in C programs. The method is(More)
  • 1