the process of determining the degree to which a software product fulfills its specifications
the process of determining the degree to which a software product fulfills its specifications
to prove code is correct