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

A. All of the mentioned

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

C. Model checking is computationally very inexpensive

D. Model checking is particularly valuable for verifying concurrent systems

Found an error? Read our corrections policy and submit a sourced correction below. You can also share a useful explanation in your own words.

Discuss the answer or suggest a sourced correction
Thank you for contributing.
Your comment was submitted and will appear after editorial review.

Your email is used only for moderation and is never displayed. Spam, copied material and fabricated endorsements are rejected.