Research Article

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

Figure 1

Classification of the result of soft error.