Vertaling van "absence of runtime errors" in Frans
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.
absence d'erreurs d'exécution
absence d'erreurs à l'exécution
Automatically analyzing programs for exactly checking properties such as the absence of runtime errors is impossible in general, for mathematical reasons.
Une analyse automatique et exacte visant à vérifier des propriétés telles que l'absence d'erreurs d'exécution est impossible en général, pour des raisons mathématiques.
So far, ASTRÉE has proved the absence of runtime errors in the primary control software of the Airbus A340 family.
À ce jour, ASTRÉE a prouvé l'absence d'erreurs d'exécution dans le logiciel de contrôle primaire de la famille Airbus A340.
Finally, we will report on the successful application of ASTRÉE to the proof of absence of runtime errors in recent avionic flight control software.
Finalement nous rendrons compte de l'application réussie d'ASTRÉE à la preuve d'absence d'erreurs à l'exécution dans des logiciels récents de commande de vol électrique.
ASTRÉE is currently used to the verification of absence of runtime errors in safety critical synchronous electric flight control avionic software.
Le logiciel ASTRÉE est utilisé pour la vérification d'absence d'erreurs à l'exécution dans les logiciels embarqués de commande de vol électrique.
My current work is to apply formal verification to the Contiki microkernel (an lightweight OS for IoT) and its libraries, mostly to show the absence of runtime errors.
Mes travaux actuels consistent à appliquer la vérification formelle au micronoyau Contiki (un OS léger pour l'IoT) et à ses bibliothèques, principalement pour montrer l'absence d'erreur à l'exécution.
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.