validation formelle
validasjɔ̃ fɔʁmɛl
Definition

Definition of validation formelle - Reverso French Dictionary

Noun, feminine

informatiqueTECH.méthode mathématique pour prouver qu'un programme informatique fonctionne correctementTECH.
  • La validation formelle de ce logiciel a pris plusieurs mois.
  • L'équipe applique la validation formelle au logiciel de pilotage.
  • La validation formelle a prouvé l'absence de certaines erreurs critiques.
preuve formelle vérification formelle
Add a suggestion |

Terms with validation formelle included in their meaning

💡 A powerful way to uncover related words, idioms, and expressions linked by the same idea — and explore meaning beyond exact word matches.
informellement
sans reconnaissance ou validation formelle des autorités compétentes
permission
validation formelle donnée par une autorité compétente

View all translations of validation formelle

Click below to see the appropriate translations facing each meaning.
  1. English:formal verification, ...
  2. German:formale Verifikation, ...
  3. Italian:validazione formale, ...
  4. Spanish:validación formal, ...
  5. Portuguese:validação formal, ...
  6. Chinese:形式化验证, ...
  7. Japanese:形式的検証, ...
  8. Arabic:التحقق الشكلي, ...
  9. Hebrew:אִמּוּת פּוֹרְמָלִי, ...
  10. Russian:формальная верификация, ...
  11. Ukrainian:формальна верифікація, ...
Browse the dictionary entries starting with “v”:

Discover how Reverso redefines the dictionary

Go beyond “simple words”

Get more than a simple definition

Go from understanding to mastery