45. 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
✅ The correct answer is option D.

Leave a Comment

Your email address will not be published. Required fields are marked *

Scroll to Top