5 November 2013
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.
Is your website designed for everyone? Perform an accessibility scan.