Which of the following is a technique covered in Static Analysis ?
Found an error? Read our corrections policy and submit a sourced correction below. You can also share a useful explanation in your own words.
B. Formal verification
C. Model checking
D. Automated program analysis
Found an error? Read our corrections policy and submit a sourced correction below. You can also share a useful explanation in your own words.