Conversation

I just learned that the name of Frama-C, the analyzer developed by my lab, means FRAmework for Modular Analysis of C code: http://julien.signoles.free.fr/publis/2015_fac.pdf

Used, among others, to verify the critical software of the Airbus A380 plane.
So OCaml is quite a niche language, but it's used to certify planes :p