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

Table 1

Relationships of invariants considered in this paper.

Category	Expression
Unary	;
	Binary	;
;
Ternary		;
	;