A software verifier system to check the correctness of information in a file is described. The (valid-format) and the file record to be verified are input to the system, the output is the correctness result for every (individual-format) of the (valid-format), based on whether the file information was conformal with respect to it, or not. The system, being a rather general one, saves a tremendous amount of programmer time in the sense that one program is good for verification of information in all types of files and separate programs are not required. The program is written in REC/Markov language and is implemented on a UNIVAC 1106 computer.
