Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
CompCert
Translation of "CompCert" in German
CompCert
CompCert is a formally verified optimizing C compiler.
CompCert ist ein formal verifizierter optimierender C-Compiler.
Non-commercial usage of CompCert is free of charge.
Für nichtkommerzielle Zwecke ist der Einsatz von CompCert kostenlos.
The result is consistent with our expectations and with previously published CompCert research papers.
Die Zahlen decken sich mit unseren Erwartungen sowie mit bislang veröffentlichten Forschungsarbeiten zu CompCert.
CompCert is the only production compiler that is formally verified, using machine-assisted mathematical proofs, to be exempt from miscompilation issues.
Was macht CompCert einzigartig? Im Gegensatz zu allen anderen Compilern ist CompCert mithilfe computerunterstützter mathematischer Beweise formal verifiziert.
Using the CompCert C compiler is a natural complement to applying formal verification techniques (static analysis, program proof, model checking) at the source-code level.
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
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.
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.
CompCert is currently tested for compatibility with
CompCert ist getestet auf Kompatibilität mit
Compile the code using CompCert.
Kompilieren Sie den Code mit CompCert.
CompCert is a formally verified optimizing C compiler for safety-critical and mission-critical software.
CompCert ist ein formal verifizierter optimierender C-Compiler.
The verification has been done using machine-assisted mathematical proofs, and shows CompCert to be exempt from miscompilation issues.
Die Verifikation wurde mithilfe maschinenunterstützter automatischer Beweise durchgeführt und zeigt, daß CompCert frei von Fehlcompilierungen ist.
The striking thing about our CompCert results is that the middle-end bugs we found in all other compilers are absent.
Das Verblüffende an unseren CompCert-Ergebnissen ist die Abwesenheit von Middle-End-Bugs, die wir in allen anderen Compilern gefunden haben.
With CompCert it is possible to decrease the execution time of our flight control algorithms by a significant amount.
Mit CompCert können wir die Ausführungszeit unserer Flugsteuerungsalgorithmen erheblich reduzieren.
AbsInt offers commercial licenses, provides industrial-strength support and maintenance, and actively contributes to the advancement of CompCert.
AbsInt bietet Lizenzen und Kundenbetreuung für kommerzielle Benutzer an und trägt aktiv zur Weiterentwicklung des Tools bei.
Synonyms and analogies of "CompCert" in English
Word & Expression of the day
Image of the day
Results: 20. Exact: 20. Elapsed time: 68 ms.
