Self-checking code

Definition
Self-checking code is

"[a] code that is appended to another code to provide for validity checking. A self-checking code is derived mathematically from the characteristics of the base code."