Akademische Version
Die Entwicklung wird geleitet durch Xavier Leroy am französischen Nationalen Forschungsinstitut für Informatik und Automatisierung, INRIA. Für den Einsatz in der Lehre und Forschung steht die akademische Version von CompCert kostenlos zur Verfügung. Quellcode und Dokumentation (inklusive der Compilerbeweise) stehen auf INRIAs Seite zum Download bereit. Der Quellcode ist auch über GitHub erhältlich.
Beachten Sie, daß akademische und kommerzielle Versionen unterschiedlich numeriert werden und daß das Valex-Add-On zur Postpaßvalidierung nur von AbsInt erhältlich ist.
Kommerzielle Version
AbsInt bietet Lizenzen und Kundenbetreuung für kommerzielle Benutzer an und trägt aktiv zur Weiterentwicklung des Tools bei. Um das aktuelle kommerzielle Release 23.10 auszuprobieren, füllen Sie das PDF-Lizenzformular aus und senden Sie es per Email oder Fax an uns zurück.
Training und Support
Jede kommerzielle Evaluierung beinhaltet eine kostenlose interaktive Online-Schulung über WebEx. Datum und Uhrzeit bestimmen Sie selbst.
Während Ihrer Evaluierung können Sie sich dann jederzeit bei allen Fragen an support@absint.com wenden und bei Bedarf auch zusätzliche kostenlose WebEx-Sitzungen mit uns vereinbaren.
Kostenvoranschlag
Wir bieten:
- Projektlizenzen, begrenzt auf ein bestimmtes Projekt in einer bestimmten Abteilung
- Zeitlizenzen, befristet auf ein Jahr oder einige Monate
- das Valex-Add-On
Fordern Sie gleich Ihren persönlichen Kostenvoranschlag per Email an.