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

A. Model checking is particularly valuable for verifying concurrent systems

B. The model checker explores all possible paths through the model

C. All of the mentioned

D. Model checking is computationally very inexpensive
Be the first to comment if anything wrong with this mcq
Your comment successfully submitted!
It will automatically posted after review and approval by our staff member.