Formal Verification Testing

Formal Verification Testing

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

Knowledge Center
Knowledge Center
Subscribe

*- required fields