prove program correct limits: very difficult, very expensive, not scalable
prove program correct limits: very difficult, very expensive, not scalable
the process of determining the degree to which a software product fulfills its specifications