Which of the following is a technique covered in Static Analysis ?
A. All of the mentioned

B. Formal verification

C. Model checking

D. Automated program analysis

Be the first to comment if anything wrong with this mcq
Your comment successfully submitted!
It will automatically posted after review and approval by our staff member.