Program Verification

Approach generates a mathematical proof that the program works for all possible inputs.

Limitation: Program Verification can produce helpful results, but the process of checking the correctness of programs in all cases cannot be fully automated.

created: 3 January 2007
last revised: 7 January 2007
previous  next Valid HTML 4.01! Valid CSS!