Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
unproven code
Examples with "unproven code" and their translation in Frans
Managing unproven code (color-coded in orange by Polyspace products)
Code non-prouvé (représenté en orange dans Polyspace)
Gain confidence in the quality of your code - measure proven versus unproven code
Accroître votre confiance dans la qualité du code : quantifier la part de code prouvée comme exempte d'erreurs.
Andere resultaten
Each code statement is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven.
Chaque instruction de code est repérée par un code couleur indiquant si elle est exempte de toute erreur run-time, avérée défaillante, inaccessible ou non prouvée.
However, these typically unproven transformations are responsible for semantic gaps and require to establish an equivalence relation between executable code and analysis models to ensure that what is executed is what has been verified.
Cependant, ces transformations typiquement non-prouvées sont à l'origine de fossés sémantiques et nécessitent d'établir une relation d'équivalence entre le code exécutable et les modèles d'analyse afin de garantir que ce qui est exécuté est bien ce qui a été vérifié.
Synoniemen voor unproven code in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 4. Exact: 2. Verstreken tijd: 221 ms.
