Q849
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
AnswerAnswer: Option D
Solution
Answer: Option D
No explanation is given for this question Let's Discuss on Board