We describe a software self-checking mechanism designed to

improve the tamper resistance of large programs. The mechanism con-

sists of a number of testers that redundantly test for changes in the

executable code as it is running and report modifications. The mech-

anism is built to be compatible with copy-specific static watermarking

and other tamper-resistance techniques. The mechanism includes several

innovations to make it stealthy and more robust.