in many forms.This evidence may reflect either direct analysis of the software (e.g.,
testresults, code review results, mathematical proofs from formal methods) or
review of indirect indicators that the claims are likely to be true, such as the nature
of the development process used, the reputation of the development organization,