A. Formal verification
B. Model checking
C. Automated program analysis
D. All of the mentioned
- Dependability and Security
- Dependability and Security
IF YOU THINK THAT ABOVE POSTED MCQ IS WRONG.
PLEASE COMMENT BELOW WITH CORRECT ANSWER AND ITS DETAIL EXPLANATION.