AdaCore - Bilder

AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme.

mehr

Über

AdaCore

Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungs-umgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikations-umgebung SPARK Pro und das modellbasierte Entwicklungs-werkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrt-systeme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com

Adacore

alle Artikel Adacore

EXCELLENCE IN COMMUNICATIONS

IMPRESSUM DATENSCHUTZ