ensure that overall typing is internally consistent.The outcome of the verification is
“assurance” (contingent on an absence of extrinsic interventions) of—
u The integrity of how raw bits are interpreted in software as abstract values.
u The integrity of the access pathways to those values. Type checking