RE: formal verification testing

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

namithav Doctor Asked on December 16, 2014 in Software Testing.
Add Comment
1 Answers

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.