Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
correctness of the code
Vertaling van "correctness of the code" in Frans
exactitude du code
Formal verification mathematically proves the correctness of the code governing transactions and secure smart contracts.
La vérification formelle démontre mathématiquement l'exactitude du code qui régit les transactions et sécurise les contrats intelligents.
How will the correctness of the code be established?
Comment pourrait on établir l'exactitude du code?
Tezos established formal verification, a technique which mathematically proves the correctness of the code governing transactions and secure smart contracts.
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.
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 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 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
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
We define a distribution model and demonstrate the correctness of the code transformation from the sequential domain to the parallel domain.
Nous avons ensuite défini un modèle de distribution et montré la correction de la transformation de code du domaine séquentiel au domaine distribué.
Temporal debugging proves to be tricky as temporal bugs are not related to the functional correctness of the code, thus making traditional GDB-like debuggers essentially useless.
Le débogage temporel est en général difficile à effectuer car les bugs temporels n'ont pas souvent de rapport avec l'exactitude fonctionnelle du code des applications, ce qui rend les outils de débogage traditionnels, comme GDB, peu utiles.
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 7. Exact: 7. Verstreken tijd: 52 ms.
