45. Which of the following is a technique covered in Static Analysis ? September 13, 2025 by Admin A. Formal verification B. Model checking C. Automated program analysis D. All of the mentioned ✅ The correct answer is option D.
