Model Checking: Verification or Debugging?

Abstract Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two val-idation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a sys-tem, whereas the debugging approach tries to find errors in the model. This paper discusses the dif-ferences between the two complementing approaches and shows for each approach its advantages and dis-advantages