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
Answer:A
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
Explanation: The answer is self explanatory.