We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
correctness of the code
code correctness
correct code
La vérification formelle démontre mathématiquement l'exactitude du code qui régit les transactions et sécurise les contrats intelligents.
Formal verification mathematically proves the correctness of the code governing transactions and secure smart contracts.
Le principal inconvénient de produire des certificats pour assurer l'exactitude du code source est que les preuves ne comportent pas la correction du code compilé.
The main drawback of producing certificates ensuring source code correctness is that they do not entail correctness of the final compiled code.
Visual Studio 2010 SP1 résout les problèmes relatifs à la stabilité du compilateur et de l'exactitude du code pour le code généré.
Visual Studio 2010 SP1 fixes issues with stability of the compiler and code correctness for generated code.
Veuillez vérifier l'exactitude du code dans votre courriel d'inscription et saisissez-le de nouveau.
Please check your registration email for the correct code and re-enter it.
Après vérification de l'exactitude du code, le nom du parc de véhicules s'affiche sous la rubrique Partage du parc de véhicules.
After the correct code is found, the name of the fleet will show under the Fleet Sharing title.
Tezos a mis en place une vérification formelle, une technique qui démontre mathématiquement l'exactitude du code qui régit les transactions et garantit des contrats intelligents.
Tezos established formal verification, a technique which mathematically proves the correctness of the code governing transactions and secure smart contracts.
le système local peut comprendre un élément permettant de vérifier et de rectifier l'exactitude du code et du NIP avant de transmettre les données, par l'intermédiaire du modem, vers le système central
the local system can include a means for checking and for rectifying the correctness of the code and PIN number prior to transmitting the data via the modem to the central system
le récepteur peut comporter un moyen de vérification et de rectification de l'exactitude du code et du CNIP avant que les données ne soient transmises au système central via le modem
the receiver can include a means for checking and for rectifying the correctness of the code and PIN number prior to transmitting the data via the modem to the central system
Apprenez à prouver l'exactitude du code, examiner et comprendre les résultats de la vérification, gérer les fonctions et les données manquantes, mesurer la qualité logicielle et appliquer des règles MISRA C. Détails et inscription
Learn to prove code correctness, review and understand verification results, handle missing functions and data, measure software quality metrics, and apply MISRA C rules. Details and enroll Recommended Basic Courses
Cette formation explique comment utiliser Polyspace Code Prover pour prouver l'exactitude du code, améliorer les métriques de qualité du logiciel et garantir l'intégrité du produit.
This course discusses the use of Polyspace Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity.
L'exactitude du code d'activité pourrait être mesurée de la même manière.
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
