Q
Which of the following is incorrect with respect to Model Checking ?
-
A
A. Model checking is particularly valuable for verifying concurrent systems
-
B
B. Model checking is computationally very inexpensive
-
C
C. The model checker explores all possible paths through the model
-
D
D. All of the mentioned
Correct Answer:
B. B. Model checking is computationally very inexpensive