I wouldn’t even put Airbus in the same sentence with Boeing; they are using formal methods since 2001[0], whereas Boeing has outsourced its software to $9-an-hour engineers[1].
[0]: https://www.di.ens.fr/~delmas/papers/fm09.pdf
[1]: https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-...
I wouldn’t even put Airbus in the same sentence with Boeing; they are using formal methods since 2001[0], whereas Boeing has outsourced its software to $9-an-hour engineers[1].
[0]: https://www.di.ens.fr/~delmas/papers/fm09.pdf
[1]: https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-...