• TO CONTROL THE COMPLEXITY OF PROGRAM VERIFICATION BY FORMAL MEANS PROF. GRIES SUGGESTS-

• FORMAL TECHNIQUES NEED ONLY ACT AS AN INTELLECTUAL GUIDE

Previous slide

Next slide

Back to first slide

View graphic version