AdaCore GmbH

Entwurf, Entwicklung, Integration und Vertrieb von Software und Hardware, insbesondere von komponentenbasierten, sicheren IT-Systemarchitekturen und Anwendungen; Forschung, Beratung und Schulungen in Zusammenhang mit den genannten Produkten und Leistungen.