verification of correctness and certification of software

2 years ago
5.28K

reliability. Its objectives and results have a very low error rate which is difficult or impossible to achieve by using non formal methods.

Loading comments...