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 nichtkommerzielle Zwecke ist der Einsatz von CompCert kostenlos. 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ßvervalidierung 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 18.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 webbasierte Einführung. Wir benutzen WebEx fürs Bild und Telefon für den Ton. 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.