Originally Posted by
Stuff
Even with access to source code proving software correctness is almost impossible. It certainly isn't cheap in terms of man hours or money.
I understand that. With 8 million lines of code, there will inevitably be some bugs, but my question is whether it can be certified as airworthy?
Can the MOD just take the manufacturers word for it? Are they allowed to?
TN