| Czech |
| has gloss | ces: V oblasti počítačových systémů formální verifikace dokazuje nebo vyvrací správnost systému vzhledem k dané formální specifikaci nebo vlastnosti, použitím matematických formálních metod. |
| lexicalization | ces: formální verifikace |
| Danish |
| has gloss | dan: Verifikation er en bekræftelse eller undersøgelse der bekræfter rigtigheden af noget specifikt. |
| lexicalization | dan: Verifikation |
| German |
| has gloss | deu: Verifizierung oder Verifikation (von lat. veritas ‚Wahrheit‘ und facere ‚machen‘) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist. Der Begriff wird unterschiedlich gebraucht, je nachdem, ob man sich bei der Wahrheitsfindung nur auf einen geführten Beweis stützen mag oder aber auch die in der Praxis leichter realisierbare bestätigende Überprüfung und Beglaubigung des Sachverhaltes durch Argumente einer unabhängigen Instanz als Verifizierung betrachtet. |
| lexicalization | deu: Verifizierung |
| French |
| has gloss | fra: On parle de vérification formelle quand on utilise les techniques des méthodes formelles. Se référer à cet article pour plus de détails. |
| lexicalization | fra: Verification formelle |
| lexicalization | fra: vérification formelle |
| Hebrew |
| has gloss | heb: אימות תוכנה הוא תחום במדעי המחשב העוסק בהוכחה שתוכנה מסוימת נכונה (כלומר מבצעת בדיוק את מה שהוגדר במפרט שלה) או בעלת תכונות מסוימות. |
| lexicalization | heb: אימות תוכנה |
| Japanese |
| has gloss | jpn: 形式的検証（けいしきてきけんしょう）とは、ハードウェアおよびソフトウェアのシステムにおいて形式手法や数学を利用し、何らかの形式仕様やプロパティに照らしてシステムが正しいことを証明したり、逆に正しくないことを証明することである。 |
| lexicalization | jpn: 形式的検証 |
| Lithuanian |
| has gloss | lit: Verifikacija – autentiškumo patvirtinimas, hipotezės ar teorijos teisingumo nustatymo procedūra. |
| lexicalization | lit: Verifikacija |
| Norwegian |
| has gloss | nor: Verifikasjon (av latin verus = «sann») |
| lexicalization | nor: verifikasjon |
| Polish |
| has gloss | pol: W informatyce weryfikacja formalna to stwierdzenie o poprawności algorytmu w oparciu o formalne metody matematyczne. |
| lexicalization | pol: Weryfikacja formalna |
| Portuguese |
| has gloss | por: Verificação formal é a prova matemática da conformidade dum algoritmo a certa especificação formal ou propriedade, usando métodos formais. |
| lexicalization | por: verificação formal |
| Russian |
| lexicalization | rus: Формальная верификация |
| Slovak |
| has gloss | slk: Verifikácia môže byť: * v práve a podobne: je overenie, overovanie, preskúmanie a potvrdenie pravosti alebo správnosti, spravidla textu. * v logike: postup, ktorého výsledkom je zistenie, že daný výrok je pravdivý |
| lexicalization | slk: Verifikácia |
| Castilian |
| has gloss | spa: La verificación formal es un método de validación estática (se valida a través del propio código del programa, a partir de una abstracción o de una representación simbólica), en el que partiendo de un conjunto axiomático, reglas de inferencia y algún lenguage lógico (como la lógica de primer orden u otra de preferencia una lógica sólida y completa), se puede encontrar una demostración o prueba de corrección de un programa. |
| lexicalization | spa: Verificacion formal |
| lexicalization | spa: Verificación formal |
| Serbian |
| lexicalization | srp: Верификација |
| Ukrainian |
| has gloss | ukr: Верифіка́ція форма́льна — в інформаційних технологіях, доведення, або заперечення вірності системи по відношенню до певної формальної специфікації або характеристики, із використанням формальних методів математики. |
| lexicalization | ukr: Верифікація формальна |
| Chinese |
| has gloss | zho: 在计算机硬件和软件系统中，形式验证的含义是根据某个或某些形式规范或属性，使用数学的方法证明其正确性或非正确性。 |
| lexicalization | zho: 形式验证 |
