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

View Answer

D. All of the mentioned