Comment by jbapple

Airbus has been one of the success stories commonly told by the static analysis community:

http://www.astree.ens.fr/

(Here I mean https://en.wikipedia.org/wiki/Static_program_analysis , not https://en.wikipedia.org/wiki/Static_analysis )