Online Encyclopedia
Program verification
Program verification is the process of formally proving that a computer program does exactly what is stated in the program specification it was written to realize.
See also Formal verification
Your Online Encyclopedia |
||||
Online Encylopedia and Dictionary Research Site |
||||
Online Encyclopedia Search Online Encyclopedia Browse | ||||
Program verification is the process of formally proving that a computer program does exactly what is stated in the program specification it was written to realize.
See also Formal verification