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.
A. Automated program analysis
B. Formal verification
C. Model checking
Found an error? Read our corrections policy and submit a sourced correction below. You can also share a useful explanation in your own words.