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

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.