formal verification testing

what is formal verification testing?
I am new to testing and want to know about different types of testing.

Doctor Asked on December 16, 2014 in Software Testing.
Add Comment
  • 1 Answer(s)

    Formal verification is the process of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. It is usually performed by QA teams.

    Hope it helps.

    Doctor Answered on December 17, 2014.
    Add Comment
  • Your Answer

    By posting your answer, you agree to the privacy policy and terms of service.