Examples with "Compiler CompCert" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Alle Sicherheitseigenschaften, die Sie mit Astrée für Ihren C-Code nachgewiesen haben, können Sie verlustfrei auf Ihren Binärcode übertragen, indem Sie unseren formal verifizierten Compiler CompCert benutzen.
Once your C code is error-free, you can use our formally verified optimizing C compiler CompCert to guarantee that all safety properties verified on the source code also hold for the generated executable.
Andere resultaten
CompCert ist ein formal verifizierter optimierender C-Compiler.
CompCert ist ein formal verifizierter optimierender C-Compiler.
CompCert is a formally verified optimizing C compiler for safety-critical and mission-critical software.
Das CompCert-Projekt hat die Durchführbarkeit einer besonders wichtigen Anwendung dieses methodischen Ansatzes nachgewiesen, nämlich die Verifizierung realistischer optimierender Compiler.
Mit Stand Anfang 2011 ist die Entwicklungsversion von CompCert der einzige Compiler, für den Csmith keine Falschcode-Fehler findet.
As of early 2011, the under-development version of CompCert is the only compiler we have tested for which Csmith cannot find wrong-code errors.
Die berechneten Ausführungszeiten bedeuten eine 28% geringere Prozessorauslastung beim CompCert-Code im Vergleich zum Code, der mit unserem üblichen Compiler erzeugt wurde.
The computed WCET bounds lead to a total processor load which is about 28% smaller with the CompCert-generated code than with the code generated by the conventional compiler.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.