Airbus has invested in applying software verification for a while (https://www.di.ens.fr/~delmas/papers/fm09.pdf https://www.di.ens.fr/~delmas/papers/fm09.pdf).

Airbus has invested in applying software verification for a while (https://www.di.ens.fr/~delmas/papers/fm09.pdf https://www.di.ens.fr/~delmas/papers/fm09.pdf). I haven’t seen as much sustained interest in formal verification in industry in the US as I’ve seen in Europe, so I’m guessing this may contribute at least a little to the difference. Fortunately more US companies are starting to take this stuff more seriously.