Redundant software (and hardware) ensured Curiosity reached its destination and functioned as its designers intended.
No takes yet. Share an insight, caveat, or question.
Gerard J. Holzmann (2014) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: