Spinroot

awesan

Member

Registered: 2011-04-30

Posts: 45

Is model-checking a formal verfication technique?

It looks like there are mixed definitions for formal verification. Is only "theorem proving / mathematically proving" formal verification? Or, is model checking, using SPIN for instance, also a formal verification technique? Basically, this question is related to a formal write-up.

spinroot

forum

Registered: 2010-11-18

Posts: 702

Website

Re: Is model-checking a formal verfication technique?

Most do consider logic model checking to be a formal method. It is often quoted as the most successful and practically useful formal method as well.