The lead developer of CompCert is Xavier Leroy with INRIA. Non-commercial usage of CompCert is free of charge.
Note that academic releases use a different numbering scheme from commercial ones, and that the Valex add-on for postpass validation is only available from AbsInt.
AbsInt offers commercial licenses, provides industrial-strength support and maintenance, and actively contributes to the advancement of CompCert.
Every commercial trial includes a free interactive Web-based training via WebEx, on a date and time of your own choosing, as well as tech support via email, WebEx, and phone.
Email us for a quote tailored to your personal requirements.