> Boeing and Airbus 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

> Boeing and Airbus 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 https://www.di.ens.fr/~delmas/papers/fm09.pdf [1]: https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-737-max-software-outsourced-to-9-an-hour-engineers https://www.bloomberg.com/news/articles/2019-06-28/boeing-s-...