Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
absence of runtime errors
Vertaling van "absence of runtime errors" in Frans
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.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 5. Verstreken tijd: 44 ms.
