This comment is ignorant as shit. Critical aircraft systems are certified Design Assurance Level A. Programmers are one small part of the development cycle.

This comment is ignorant as shit. Critical aircraft systems are certified Design Assurance Level A. Programmers are one small part of the development cycle. Every line of code is reviewed, validated, and verified.