Finden Sie jetzt alle Laufzeitfehler und Regelverletzungen in Ihrem Code

Kostenlose Demo

Um Astrée mit RuleChecker kostenlos an Ihrem eigenen Code zu testen, füllen Sie einfach unser PDF-Lizenz­formular aus und senden es an uns zurück.

Die Software läuft unter Windows 10 und 64-Bit-Linux. Die Demoversion ist mit der kommerziellen Version vollkommen identisch, Ihre Lizenzdatei verfällt jedoch nach 30 Tagen.

Wenn Sie zuvor noch offene Fragen haben, schreiben Sie gleich eine Email an unsere Kundenbetreuung.

Kostenloses Training

Sie müssen sich nicht selbst in die Software einarbeiten oder die Doku von vorne bis hinten lesen. Ihre Evaluierung beginnt mit einem kostenlosen interaktiven Online-Training über WebEx. Datum und Uhrzeit bestimmen Sie selbst.

Das Training kann in Deutsch oder Englisch gehalten werden und dauert etwa drei Stunden. Ihre Lizenz läuft erst ab diesem Zeitpunkt, Sie haben die vollen 30 Tage.

Kostenloser Support

Während Ihrer Evaluierung können Sie sich jederzeit bei allen Fragen an support@absint.com wenden und bei Bedarf auch zusätzliche kostenlose WebEx-Sitzungen mit uns vereinbaren.

Darüberhinaus enthält auch jede kommerzielle Lizenz sechs Monate kostenlosen Support, inklusive Software-Updates. Neue Software-Versionen erscheinen zweimal jährlich, sodaß Sie garantiert mindestens ein Update kostenlos erhalten.

Kostenvoranschlag

Der Preis für eine Lizenz richtet sich nach der Anzahl der Installationen und der gleichzeitig laufenden Analysen. Qualification-Support-Kits sind für einen geringen Aufpreis erhältlich. Desweiteren können Sie uns mit der Analyse Ihres Codes beauftragen.

Fragen Sie gleich nach einem persön­lichen Kostenvoranschlag per Email oder rufen Sie uns an.