I think Airbus does a lot of formal proving / verification of their flight software. There was a great article about it which I can’t find anymore, but Google i

I think Airbus does a lot of formal proving / verification of their flight software. There was a great article about it which I can’t find anymore, but Google is full of academic papers on it.