Detecting Silent Data Corruptions in Aerospace-Based Computing Using Program Invariants

<div>A sample assembly code before and after transformation of full instruction duplication and Radish_D.</div>

International Journal of Aerospace Engineering

Figure 3: Detecting Silent Data Corruptions in Aerospace-Based Computing Using Program Invariants 