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 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.

Ronak Shah - CIGNEX Datamatics Doctor Answered on December 17, 2014.
Add Comment

Your Answer

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