Detection and location of errors by linear inequality checks

Problems of error detection and error location in programs or specialised devices computing values of real functions are considered. Systems of linear inequality checks are used for error detection and error location. Theorems are given for solving the problem of the error-detecting and locating capabilities of memoryless and memory-aided decoding procedures based on linear-inequality checks.