Computer Programming MCQs Software Engineering Mcqs
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
Leave a Comment