With respect to my friend here. I have had some exposure to space programs and their requirements over the years. That they choose to use seat of the pants software engineering as opposed to formal verification surprises me. Not because the technology was specified years ago but that they chose not to use more discipline then.