Software quality assurance refers to the

It is a software process model that emphasizes mathematical verification of correctness and certification of software reliability. Its objectives and results have a very low error rate, which is difficult or impossible to achieve by using non formal methods.