Testen Sie CompCert jetzt

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 Compiler­beweise) 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 Weiter­entwicklung des Tools bei. Um das aktuelle kommerzielle Release 24.04 auszuprobieren, füllen Sie das PDF-Lizenz­formular 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:

Fordern Sie gleich Ihren persön­lichen Kostenvoranschlag per Email an.