Vertaling van "correctness proving " (Engels → Frans) :

TERMINOLOGIE

proof of correctness [ correctness proving ]
démonstration d'exactitude [ preuve de correction | preuve d'exactitude ]

automatic theorem proving | automated theorem proving | mechanical theorem proving
démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes

proof press | proving press | ready proof press | direct proving press | galley press | proving and reversing press | reversing press | transfer press
presse à épreuves | presse à épreuve | presse à contre-épreuves | presse à décalquer | presse de report

burden of proof [ burden of proving | onus of proof | onus of proving | onus in proving | duty to produce evidence ]
charge de la preuve [ fardeau de la preuve | fardeau probatoire | fardeau de prouver | fardeau de persuasion | charge de prouver ]

ensuring correct metal temperature | establish correct metal temperature | ensure correct metal temperature | ensure correct temperature of metals
assurer la bonne température d'un métal

establish correct use of bakery equipment | maintain correct use of bakery equipment | ensure correct use of bakery equipment | secure correct use of bakery equipment
veiller à la bonne utilisation de matériel de boulangerie

maintain corrective actions | manage corrective action | manage corrective actions | managing corrective actions
gérer des actions correctives | gérer des mesures correctives

proved reserves | proven reserves | proved fields
réserves prouvées | réserves certaines | réserves sûres

automatic theorem proving [ automated theorem proving ]
démonstration automatique de théorèmes [ preuve automatique de théorèmes | démonstration automatisée de théorèmes ]

non-proving executor non-proving executor
exécuteur testamentaire non homologataire

IN-CONTEXT TRANSLATIONS

In November 2006, Poland was issued an Article 104(8) decision by the Council, establishing that its actions taken to correct its excessive deficit in line with the 2004 Council recommendations were proving to be inadequate.
En novembre 2006, la Pologne a fait l’objet d’une décision du Conseil conformément à l’article 104, paragraphe 8, établissant que l’action menée afin de corriger son déficit excessif en réponse à la recommandation du Conseil se révélait inadéquate.

1. Notes that, in general, Member States have brought their national laws into line with EU law ; points out that simply transposing correctly the provisions of the ʽrecast Directiveʼ into national law has proved insufficient for achieving the full application and effective enforcement thereof, and that differences in pay for men and women persist;
1. constate que, dans l'ensemble, les États membres ont aligné leur législation nationale respective sur le droit de l'Union ; note que la simple transposition correcte des dispositions de la "directive de refonte" en droit national s'est révélée insuffisante pour garantir la pleine application et la mise en œuvre effective de ces dispositions, et que les écarts de rémunération entre les hommes et les femmes persistent ;

C. whereas in the event of allegations of civilian deaths as a result of drone strikes, states are under the obligation to conduct prompt, independent investigations and, if the allegations are proved correct, to proceed to public attribution of responsibility, punishment of those responsible and provision of access to redress, including payment of compensation to the families of victims;
C. considérant qu'en cas d'allégations de morts civiles à la suite de frappes de drones, les États sont tenus de mener des enquêtes rapides et indépendantes et, si ces allégations se révèlent correctes, de procéder à l'attribution publique des responsabilités, de punir les responsables et de prévoir la possibilité de réparations, y compris le versement d'indemnités aux familles des victimes;

Action of proving that any equipment works correctly and actually leads to the expected results.
Preuve qu’un équipement fonctionne correctement et qu’il donne réellement les résultats escomptés.

The EU is persuading nations across the world to spend billions of taxpayers’ money, at the very time when the world is facing dire financial problems, on something that might not only be totally unnecessary, but could well prove to be counter-productive if the latest evidence of global cooling proves to be correct.
Au moment même où le monde doit faire face à des problèmes financiers graves, l’UE s’efforce de convaincre les pays du monde entier de dépenser des milliards en fonds publics pour des mesures qui pourraient bien être complètement inutiles, voire contre-productives si les signes récents d’un refroidissement climatique devaient se confirmer.

1. Where a payment order is initiated by the payer, his payment service provider shall, without prejudice to Article 58, Article 74(2) and (3), and Article 78, be liable to the payer for correct execution of the payment transaction, unless he can prove to the payer and, where relevant, to the payee's payment service provider that the payee's payment service provider received the amount of the payment transaction in accordance with Article 69(1), in which case, the payee's payment service provider shall be liable to the payee for the correct execution of the payment transaction.
1. Lorsqu'un ordre de paiement est initié par le payeur, son prestataire de services de paiement est, sans préjudice de l'article 58, de l'article 74, paragraphes 2 et 3, et de l'article 78, responsable de la bonne exécution de l'opération de paiement à l'égard du payeur, à moins qu'il ne puisse démontrer au payeur et, le cas échéant, au prestataire de services de paiement du bénéficiaire que le prestataire de services de paiement du bénéficiaire a reçu le montant de l'opération de paiement conformément à l'article 69, paragraphe 1, auquel cas c'est le prestataire de services de paiement du bénéficiaire qui est responsable de la bonne exécution de l'opération de paiement à l'égard du bénéficiaire.

1. Member States shall require that, where a payment service user denies having authorised an executed payment transaction or claims that the payment transaction was not correctly executed, it is for his payment service provider to prove that the payment transaction was authenticated, accurately recorded, entered in the accounts and not affected by a technical breakdown or some other deficiency.
1. Les États membres exigent que, lorsqu'un utilisateur de services de paiement nie avoir autorisé une opération de paiement qui a été exécutée, ou affirme que l'opération de paiement n'a pas été exécutée correctement, il incombe à son prestataire de services de paiement de prouver que l'opération en question a été authentifiée, dûment enregistrée et comptabilisée et qu'elle n'a pas été affectée par une déficience technique ou autre.

The latter comprise the following legal acts: decisions in accordance with Article 104(6) EC on the existence of excessive deficit in Italy, Portugal and the United Kingdom; recommendations on measures to correct these deficits under Article 104(7) EC; a decision establishing, in accordance with Article 104(8) EC, that the action taken by Hungary in response to the Council recommendations regarding the correction of its excessive deficit had proved to be inadequate; and also a Council Decision giving notice to Germany, in accordance with Article 104(9) EC, to take measures for the deficit reduction judged necessary in order to remedy the situation of excessive deficit.
Ce dernier comprend les actes législatifs suivants: décisions adoptées en vertu de l’article 104, paragraphe 7, du traité CE sur l’existence d’un déficit excessif en Italie, au Portugal et au Royaume-Uni; recommandations sur les mesures à prendre pour combler ces déficits conformément à l’article 104, paragraphe 7, du traité CE; une décision établissant, conformément à l’article 104, paragraphe 8, du traité CE, que l’action menée par la Hongrie en réponse à la recommandation émise par le Conseil concernant la réduction de son déficit excessif est inadéquate; et une décision du Conseil mettant l’Allemagne en demeure, conformément à l’article 104, paragraphe 9, du traité CE, de prendre des mesures visant à la réduction du déficit jugée nécessaire pour remédier à la situation du déficit excessif.

Large amounts of European monies are actually spent and accounted for by Member States, local authorities and external organisations, not the European Institutions – it is this that has left auditors unable to prove that the budget is correct, but equally unable to prove it is not.
Des montants importants des enveloppes européennes sont en fait dépensés et justifiés par les États membres, des autorités locales et des organisations extérieures, et non par les institutions européennes - et c’est cela qui a empêché les auditeurs de prouver que le budget est correct, mais également de prouver qu’il ne l’est pas.

But whereas these instruments can prove highly effective, they cannot always be a substitute for adopting regulatory measures designed to correct market inadequacies and to provide proper signals for consumers when necessary.
Mais alors que ces instruments peuvent se montrer pleinement efficaces, ils ne peuvent pas toujours remplacer l’adoption des mesures réglementaires destinées à pallier les insuffisances du marché et à donner le bon signal aux consommateurs quand c’est nécessaire.