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

Figure 7

The SDC coverage and false positive rate for varied training set sizes.