Verifikation

Verifikation (Deutsch)

Substantiv, f

	Singular	Plural
Nominativ	die Verifikation	die Verifikationen
Genitiv	der Verifikation	der Verifikationen
Dativ	der Verifikation	den Verifikationen
Akkusativ	die Verifikation	die Verifikationen

Worttrennung:

Ve·ri·fi·ka·ti·on, Plural: Ve·ri·fi·ka·ti·o·nen

Aussprache:

IPA: [veʁifikaˈt͡si̯oːn]

Hörbeispiele: Verifikation^(Info)

Reime: -oːn

Bedeutungen:

[1] bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes

[2] Informatik: mathematischer Beweis, dass ein Programm (also eine konkrete Implementation) der vorgegebenen Spezifikation entspricht[1]

Herkunft:

Substantivierung des Verbs verifizieren

Synonyme:

[1] Nachweis

[2] Verifizierung

Gegenwörter:

[1] Falsifikation

Oberbegriffe:

[2] Beweis

Beispiele:

[1] „Er ließ sich von dem Prinzip leiten, daß Begriffe und Aussagen, die keine empirische Verifikation zuließen, aus der theoretischen Physik »ausgemerzt« werden sollten.“[2]

[2] Um die Zuverlässigkeit und Korrektheit von Programmen zu garantieren, wird eine formale Verifikation benötigt.

Übersetzungen

[1]

Bosnisch: ovjera ^→ bs f, ovjeravanje ^→ bs n
Englisch: verification ^→ en
Interlingua: verification ^→ ia
Kroatisch: ovjera ^→ hr f, ovjeravanje ^→ hr n
Mazedonisch: овера (overa^☆) ^→ mk f, оверување (overuvanje^☆) ^→ mk n
Serbisch: овера (overa^☆) ^→ sr f, оверавање (overavanje^☆) ^→ sr n
Serbokroatisch: овера (overa^☆) ^→ sh f, оверавање (overavanje^☆) ^→ sh n / овјеравање (ovjeravanje^☆) ^→ sh n
Slowakisch: overenie ^→ sk n
Slowenisch: overja ^→ sl f
Tschechisch: ověření ^→ cs n, verifikace ^→ cs f

[2]

Englisch:
Französisch:

Referenzen und weiterführende Informationen:

[1, 2] Wikipedia-Artikel „Verifikation“

[1] Digitales Wörterbuch der deutschen Sprache „Verifikation“

[1] Uni Leipzig: Wortschatz-Portal „Verifikation“

[1] The Free Dictionary „Verifikation“

[1] Duden online „Verifikation“

Quellen:

Wikipedia-Artikel „Verifikation#Informatik“
Johannes Wickert: Albert Einstein mit Selbstzeugnissen und Bilddokumenten. 23. Auflage. Rowohlt, Reinbek 2000, ISBN 3-499-50162-7, Seite 34 f. Erstauflage 1972.

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Wikipedia-Artikel „Verifikation#Informatik“

[2] Johannes Wickert: Albert Einstein mit Selbstzeugnissen und Bilddokumenten. 23. Auflage. Rowohlt, Reinbek 2000, ISBN 3-499-50162-7, Seite 34 f. Erstauflage 1972.