Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
programs' correctness
Examples with "programs' correctness" and their translation in Frans
First, I study the programs' correctness under runtime perturbations.
Tout d'abord, j'étudie la correction des programmes sous des perturbations à l'exécution.
Andere resultaten
In the Toccata team, we are working on proof of program correctness.
Dans l'équipe Toccata, nous travaillons sur la preuve de programme.
Verification of program correctness with respect to their specifications.
Vérification de l'exactitude des programmes par rapport à leurs spécifications.
ALT-ERGO is an automatic prover specially designed to guarantee the correctness of programs.
ALT-ERGO est un démonstrateur automatique spécialement conçu pour garantir la correction de programmes.
Numerical simulation helps to guide development of these scientific applications and support understanding program correctness.
La simulation numérique permet de guider le développement de ces applications scientifiques tout en en améliorant l'exactitude.
In this thesis, I also expose three transversal contributions, related to the correctness of program.
Dans cette thèse, j'expose également trois contributions transversales liées à l'exactitude du programme.
From a formal description, webuild a complete imperative program using the Correctness tool.
A partir d'une description formelle, nous construisons un programme impératif avec l'outil Correctness.
What are the applications of proof of program correctness?
Quelles sont les applications de la preuve de programme ?
Justification: Clarity and correctness of programs take precedence.
Justification: Clarté et correction des programmes sont prioritaires.
Below are some of the important rules for effective programming which are consequences of the program correctness theory.
Voici quelques-unes des règles importantes pour des programmes efficaces qui sont les conséquences de la théorie de la décision correcte du programme.
George Necula proposed a technique to provide trust to code consumers about the program correctness without trusting the code producer side.
George Necula a proposé une technique pour apporter de la confiance aux consommateurs sur la correction du code sans faire confiance aux producteurs.
"Program correctness" is probably the key discipline in computer science and includes important challenges.
« Program correctness » est probablement le sujet clé de l'informatique et contient des défis majeurs.
What is proof of program correctness?
Qu'est-ce que la preuve de programme ?
Synoniemen voor programs' correctness in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 97. Exact: 1. Verstreken tijd: 280 ms.
