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.