Match the following techniques for detecting errors in programs and in intermediate documentation

Static analysis

Answer $1$ Question $6$

:$>>$ mathematical techniques used to $$prove$$ that a program is correct.

Formal methods

Answer $2$ Question $6$

:$>>$ the process of analyzing the static structure of a program or intermediate software product.

Inspections and reviews

Answer $3$ Question $6$

:$>>$ the process of examining the requirements against predefined criteria and discussing them with stakeholders, such as the project team, clients, users, or experts.

Testing

Answer $4$ Question $6$

:$>>$ the process of designing test cases, executing the program in a controlled environment, and verifying that the output is correct.