Index: > A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Business Industries Finance Tax

Home > 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





Non User