Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
the program correctness
Examples with "the program correctness" and their translation in Frans
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.
Secondly, the Why platform extracts verification conditions from a sourceprogram annotated by specifications, and then transmits them to SMT solvers or proof assistants to check the program correctness.
Les procéduresde décision sont les moteurs des solveurs SMT, et la plateforme Why engendre des conditions devérification dérivées d'un programme source annoté, qu'elle transmet aux solveurs SMT (ou assistants depreuve) pour vérifier la correction du programme.Mots-clés
Andere resultaten
First, I study the programs' correctness under runtime perturbations.
Tout d'abord, j'étudie la correction des programmes sous des perturbations à l'exécution.
Otherwise said, pipes are only important for the compiler to verify that the program satisfies certain correctness properties, but they're not relevant for the actual execution.
Autrement dit, pipes sont seulement importantes pour le compilateur afin de vérifier que le programme satisfait à certain rectitude Propriétés, mais ils ne sont pas pertinents pour l'exécution réelle.
The Distributed Computer Network (DCN) research group at Saint Petersburg Polytechnic University developed such a software system for the analysis of program correctness; the new tool was named COVERS (Concurrent Verification and Simulation).
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.
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.
When a second static analysis is undertaken over the revised program with the correctness conditions inserted therein, warnings inherited from the baseline program are suppressed, while warnings caused by revisions are surfaced to a developer.
Lorsqu'une deuxième analyse statique est réalisée sur le programme révisé avec les conditions d'exactitude insérées, les avertissements hérités du programme de base de référence sont supprimés tandis que les avertissements entraînés par les révisions sont transmis à un développeur.
Since arrays are ubiquitous in most software systems, and software defects related to mis-uses of arrays are hard to avoid in practice, a lot of efforts have been devoted to ensuring the correctness of programs manipulating arrays.
Les tableaux sont omniprésents dans de nombreux programmes, et les erreurs liées à leur manipulation sont difficile à éviter en pratique.
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.
Synoniemen voor the program correctness in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 244958. Exact: 3. Verstreken tijd: 1351 ms.
