Acquiring extremely dependable results from computers requires attention to all of the stages from program and machine design through execution of the program. One of the smaller, but still important, stages is that of verifying that the sequence of instructions executed by the processor was exactly the sequence specified by the compiler. A surprisingly small addition to the logic of the processor (and code produced by the compiler) is sufficient to achieve this.
/lp/association-for-computing-machinery/instruction-execution-sequence-confirmation-3Kt0GO0tcg