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