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

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

A. Model checking is particularly valuable for verifying concurrent systems
B. Model checking is computationally very inexpensive
C. The model checker explores all possible paths through the model
D. All of the mentioned

Explanation: Model checking is very expensive.It is only practical to use it in the verification of small to medium sized critical systems.

Select the disadvantage of using Formal methods ___________________?

Select the disadvantage of using Formal methods ___________________?

A. Concurrent systems can be analysed to discover race conditions that might lead to deadlock
B. Producing a mathematical specification requires a detailed analysis of the requirements
C. They require the use of specialised notations that cannot be understood by domain experts
D. All of the mentioned

Which level of Static Analysis allows specific rules that apply to a program to be checked ?

Which level of Static Analysis allows specific rules that apply to a program to be checked ?

A. Characteristic error checking
B. User-defined error checking
C. Assertion checking
D. All of the mentioned

Explanation: Users of a programming language define error patterns, thus extending the types of error that can be detected.