862Software EngineeringMedium
Which of the following is incorrect with respect to Model Checking?
AModel checking is computationally very inexpensive
BAll of the mentioned
CModel checking is particularly valuable for verifying concurrent systems
DThe model checker explores all possible paths through the model
Correct answer
A. Model checking is computationally very inexpensive
Explanation
Explanation: Model checking is very expensive.It is only practical to use it in the verification of small to medium sized critical systems.