Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
Prover
Definitie
Vertaling van "Prover" in Frans
Definitie NEW
The Prover (230) generates a response element h using the private key f and the elements c and g.
Ledit démonstrateur (230) produit un élément de réponse h à l'aide de la clef secrète f et les éléments c et g.
The Verifier transmits c to the Prover (230).
Le vérificateur transmet c au démonstrateur (230).
Are also available on prover with or without humidifier or support.
Sont également disponibles sur prouveur avec ou sans humidificateur ou de soutien.
This work is implemented in a prototype using the PVS prover.
Notre technique est implantée dans un prototype utilisant le prouveur PVS.
Prover: the "search rule" command now correctly searches for the rules in the.pmm files.
Prouveur: la commande "search rule" recherche maintenant correctement les règles dans les fichiers.pmm.
This approach relies on an automatic theorem prover.
Cette approche repose sur un démonstrateur automatique de théorème.
Its high level design follows that of the Sammy prover.
Sa conception de haut niveau suit celle du démonstrateur Sammy.
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.
Description of the strategies and mechanisms of Worship B's automatic prover.
Description des stratégies et des mécanismes du prouveur automatique de l'Atelier B.
5.2.4 Prover oil must be tested annually and at the time of certification, at an approved laboratory or by the use of authorized procedures.
5.2.4 L'huile du gazomètre doit être mise à l'essai tous les ans et au moment de la certification, dans un laboratoire approuvé ou à l'aide des procédures autorisées.
Polyspace Code Prover also displays range information for variables and function return values, and can prove conditions under which variables exceed specified range limits.
Polyspace Code Prover affiche également des informations sur les plages de valeur des variables et des valeurs de retour de fonction, et peut prouver les conditions selon lesquelles les variables excèdent les limites de plages spécifiées.
Polyspace Code Prover is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and other run-time errors in C and C++ source code.
Polyspace Code Prover est un outil d'analyse statique permettant de prouver l'absence d'overflow, de division par zéro, de débordement de tableaux et autres erreurs run-time dans du code source C et C++.
Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior.
Polyspace Code Prover utilise l'analyse sémantique et l'interprétation abstraite basée sur des méthodes formelles pour vérifier le comportement interprocédural, le contrôle et les flux de données du logiciel.
Synoniemen voor Prover in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 333. Exact: 333. Verstreken tijd: 49 ms.
