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
Share this... |
Facebook
|
Twitter
|
Linkedin
|
Whatsapp
|
Your email address will not be published. Required fields are marked *