5 November 2013 Share on Facebook Share on LinkedIn Share on X 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. Back to Software Testing Glossary
