AdaCore SAS

Wir bieten

• Software für Software-Design
• Test- & Verifikations-Software
• Methoden & Werkzeuge für sichere Embedded Systeme
• Statische- & Laufzeit-Analysetools
• Sonstige Tools, Software
• Software-Entwicklung für datensichere Systeme (Security)
• Software-Entwicklung für funktionssichere Systeme (Safety)
• Zertifizierung und Zulassung
• Consulting
• Schulung