{{else if Image}}
{{else if Image}}
{{/if}}
{{/if}}
Analyse und Kompilierung auf Quellcodeebene: Astrée und CompCert
von AbsInt GmbH
Key Facts
- Astrée findet alle Laufzeitfehler – garantiert.
- Keine Compiler-Fehler mit CompCert – garantiert.
- Astrée: Marktführende statische Analyse für Safety und Security.
Kategorien
- Zertifizierung und Zulassung
- Testdienstleistungen
- Schulung
- Consulting
- Embedded Software für Datensicherheit (Security)
- Sonstige Tools, Software
- Statische- & Laufzeit-Analysetools
- Methoden & Werkzeuge für sichere Embedded Systeme
- Test- & Verifikations-Software
- Software für Software-Design
Key Facts
- Astrée findet alle Laufzeitfehler – garantiert.
- Keine Compiler-Fehler mit CompCert – garantiert.
- Astrée: Marktführende statische Analyse für Safety und Security.
Kategorien
- Zertifizierung und Zulassung
- Testdienstleistungen
- Schulung
- Consulting
- Embedded Software für Datensicherheit (Security)
- Sonstige Tools, Software
- Statische- & Laufzeit-Analysetools
- Methoden & Werkzeuge für sichere Embedded Systeme
- Test- & Verifikations-Software
- Software für Software-Design
Produktbeschreibung
Produktexperte
Download Produkt Information
Sehen Sie sich unser Produktvideo an
