Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

    Glossary
A  |  B  |  C  |  D  |  E  |  F  |  G  |  H  |  I  |  J  |  K  |  L  |  M  |  N  |  O  |  P  |  Q  |  R  |  S  |  T  |  U  |  V  |  W  |  X  |  Y  |  Z

correctness proof

Definitions:

  Formal technique used to prove mathematically that a computer program satisfies its specified requirements.
Sources:
CNSSI 4009-2022 from ISO/IEC/IEEE 24765:2017 - under "proof of correctness"