Vertaling van "CompCert" 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.
CompCert ist ein formal verifizierter optimierender C-Compiler.
CompCert is a formally verified optimizing C compiler.
Für nichtkommerzielle Zwecke ist der Einsatz von CompCert kostenlos.
Non-commercial usage of CompCert is free of charge.
CompCert ist ein formal verifizierter optimierender C-Compiler.
CompCert is a formally verified optimizing C compiler for safety-critical and mission-critical software.
Die Zahlen decken sich mit unseren Erwartungen sowie mit bislang veröffentlichten Forschungsarbeiten zu CompCert.
The result is consistent with our expectations and with previously published CompCert research papers.
Der Einsatz von CompCert ist die logische Fortführung des Einsatzes formaler Verifikation (statische Analyse, Model-Checking) auf der Quellcode-Ebene.
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.
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.
CompCert ist getestet auf Kompatibilität mit
CompCert is currently tested for compatibility with
Kompilieren Sie den Code mit CompCert.
Compile the code using CompCert.
Die Verifikation wurde mithilfe maschinenunterstützter automatischer Beweise durchgeführt und zeigt, daß CompCert frei von Fehlcompilierungen ist.
The verification has been done using machine-assisted mathematical proofs, and shows CompCert to be exempt from miscompilation issues.
Mit CompCert können wir die Ausführungszeit unserer Flugsteuerungsalgorithmen erheblich reduzieren.
With CompCert it is possible to decrease the execution time of our flight control algorithms by a significant amount.
Als Eingabe akzeptiert CompCert den größten Teil der C99-Spezifikation, mit wenigen Einschränkungen und einigen Erweiterungen.
It accepts most of the ISO C 99 language, with some exceptions and a few extensions.
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.
MTU Friedrichshafen setzt CompCert, aiT, StackAnalyzer, Astrée und RuleChecker zum Beweis der Korrektheit der Kontrollsoftware von Notstromaggregaten in Kraftwerken ein.
MTU Friedrichshafen uses CompCert, aiT, StackAnalyzer, Astrée and RuleChecker to demonstrate the correctness of control software for emergency power generators in power plants.
