Question

Which of the following is incorrect with respect to Model Checking?

(a) Model checking is particularly valuable for verifying concurrent systems

(b) Model checking is computationally very inexpensive

(c) The model checker explores all possible paths through the model

(d) All of the mentioned

I have been asked this question by my school principal while I was bunking the class.

This is a very interesting question from Dependability and Security Assurance in section Dependability and Security of Software Engineering

Answer 1

The correct choice is (b) Model checking is computationally very inexpensive

Easiest explanation: Model checking is very expensive.It is only practical to use it in the verification of small to medium sized critical systems.