Synthesis of Self-Checking Checkers for Summation Codes

The authors develop methods of synthesizing $(n,k)$ checkers that comprise control sums that establish whether a binary vector belongs to a code with addition. Results of application of the methods are given.