Non User
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
Non User
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