Difference between model checking and reasoning.

Hello All, 

What is the difference between model checking and reasoning. Could you please provide some small example to understand the fact?

Bikash

Received on Monday, 3 January 2011 08:36:20 UTC