I am highly interested how they managed to get the code certified. I once was told that flight critical components of those aircrafts have to be verified using

I am highly interested how they managed to get the code certified. I once was told that flight critical components of those aircrafts have to be verified using formal methods. That is at odds with everything I know about modern machine learning. But maybe the plane is operated by a kernel machine…