The concept of certification, a standard one in the programming languages and formal method communities, has to do with the idea of a certificate, or a formal mathematical artifact proving that a program meets its specification. [0]

[0] Chlipala, Adam. “Certified programming with dependent types.” (2011).