During the ______ phase of the software life cycle,formal methods may be used to prove the correctness of an algorithm.
A)specification
B)verification
C)testing
D)design

Question

Quizplus · Accepted Answer

During the verification phase, formal methods can be used to prove the correctness of the algorithm. Verification is the process of determining whether the software product satisfies the conditions imposed at the beginning of the software development cycle. Formal methods use mathematical techniques to prove that the software product meets its specification.

During the ______ Phase of the Software Life Cycle,formal Methods