Program Verification

See https://en.wikipedia.org/wiki/Formal_verification.
Formal verification provides the highest level of program assurance.
See also https://en.wikipedia.org/wiki/Evaluation_Assurance_Level.