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.

Related Mcqs:

A password checking system that disallows user passwords that are proper names or words that are normally included in a dictionary is an example of ________________ with respect to security systems?
A. risk
B. control
C. attack
D. asset
Which process characteristic with respect to Dependability Engineering is mentioned by the statement: “The process should be understandable by people apart from process participants” ?
A. Diverse
B. Documentable
C. Auditable
D. None of the mentioned
Which of the following terms is a measure of the probability that the system will cause an accident ?
A. Risk
B. Hazard probability
C. Accident
D. Damage
Which of the following is not a functional reliability requirement for a system ?
A. Checking requirements
B. Recovery requirements
C. Redundancy requirements
D. Ambiguous requirements
Which of the following examples does not involve dependability engineering ?
A. Medical Systems
B. Power Systems
C. Library Management
D. Telecommunications
Which of the following is not a Protection system ?
A. System to stop a train if it passes a red light
B. System to indicate not returning of the library book
C. System to shut down a reactor if temperature/pressure are too high
D. None of the mentioned
Which of the following is a bad practice of Dependable programming ?
A. Limit the visibility of information in a program
B. Check array bounds
C. Check all inputs for validity
D. None of the mentioned
Choose the fault class in which the following automated static analysis check would fall: “Unreachable code”?
A. Control Faults
B. Data Faults
C. Input/Output Faults
D. Interface faults
Choose the fault class in which the following automated static analysis check would fall:”Non-usage of the results of functions”?
A. Storage management faults
B. Data Faults
C. Input/Output Faults
D. Interface faults
Which of the following is a technique covered in Static Analysis ?
A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned