Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
of program correctness
Vertaling van "of program correctness" in Frans
What are the applications of proof of program correctness?
Quelles sont les applications de la preuve de programme ?
What is proof of program correctness?
Qu'est-ce que la preuve de programme ?
Program verification, or proof of program correctness, therefore consists of using other programs to examine all of the specifications of a newly written program, to see if they work, or contain errors that would affect the proper functioning of the software.
La vérification de programme, ou preuve de programme, consiste donc à utiliser d'autres programmes qui vont regarder l'ensemble des spécifications et le programme écrit, et dire si cela correspond ou bien s'il y a des erreurs qui nuiraient au bon fonctionnement du logiciel.
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.
An important use of specification languages is enabling the creation of proofs of program correctness (see theorem prover).
Une utilisation importante des langages de spécification permet de créer des preuves de la correction d'un programme (voir la démonstration automatique de théorèmes).
A fifth logical system (BPL) interrelates the other four systems allowing proofs of program correctness.
Un cinquième système logique (BPL) met en corrélation les quatre autres systèmes, afin de prouver la correction du programme.
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).
Le groupe de chercheurs de l'Université Technique de Saint-Petersbourg développa alors un logiciel pour l'analyse de justesse de système; le nouvel outil fut nommé COVERS (Vérification Parallèle et Modélisation).
Synoniemen voor of program correctness in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 8. Exact: 8. Verstreken tijd: 58 ms.
