Avionics code isn't written by hand any more. We (society) can't write sufficiently reliable C such that pilots and passengers can rely on it. Writing C by ha

Avionics code isn't written by hand any more. We (society) can't write sufficiently reliable C such that pilots and passengers can rely on it. Writing C by hand these days is hubris, in my opinion. Most avionics these days are done in Simulink, and then you hit the Autocode button.