Concurrent error detection

Signatures are m-out-of-n code representing various control paths.
During run-time the signatures along the execution path are regenerated and compared to compile time signatures. A mismatch detects error.
Most significant contribution: Low overhead detection points (DPs): monitoring points along the code where an error can be detected with nearly 100% probability.