Assurance

Assurance is the process of providing evidence that a design is valid. Evidence can include formal proofs or exhaustive tests (constructed manually or by formal verification techniques), simulation traces, and tests of prototypes.