What do software engineers do to minimize human error in precious space missions such as Mars 2020? Do they do any sort of formal software verification?

Upvotes: 1