A. Formal verification B. Model checking C. Automated program analysis D. All of the mentioned Advertisement Advertisement