In addition, the proof program ( or suite of programs-the tasks of generating and evaluating cases may be divided between different programs ) can be expected to include a degree of redundancy and internal cross-checking-the equivalent of check sums.
12.
1997 The company continued to develop increasingly sophisticated software that included : integrity monitoring with different check sum algorithms, an automatic Update Wizard, the quarantine directory, the ability to define the level to which archives were unpacked, emailed alerts, negative classification of boot and master boot sectors, and heuristic macro virus detection.
