>> Does anyone in the industry use it ? Does anyone knows for sure that Airbus uses it ? I've heard Xavier Leroy say a year or two ago that Airbus was still ev

>> Does anyone in the industry use it ? Does anyone knows for sure that Airbus uses it ? I've heard Xavier Leroy say a year or two ago that Airbus was still evaluating CompCert and was thinking of using it in production for the aircraft generation after the next one, or something like that. And that CompCert sales have been very slow in general. But here is a paper about an actual industrial user: https://hal.inria.fr/hal-01643290 https://hal.inria.fr/hal-01643290 > https://www.absint.com/success.htm https://www.absint.com/success.htm More customers listed here. AbsInt has been selling timing analysis tools for decades, and Airbus and the other customers are probably almost exclusively customers for those tools. That doesn't mean that those customers also buy CompCert. It seems like they don't.