1870Software EngineeringMedium
Which of the following is a technique covered in Static Analysis?
AModel checking
BFormal verification
CAutomated program analysis
DAll of the mentioned
Correct answer
D. All of the mentioned
Explanation
The correct answer is All of the mentioned.