Verifikation de · NOUN
Pronunciation
- audio
- [veʁifikaˈt͡si̯oːn]
- rhymes oːn
Etymology
Ableitung des Substantivs vom Stamm des Verbs verifizieren mit dem Derivatem (Ableitungsmorphem) -ation (plus Konsonantenwechsel am Stammende)
Meanings
-
(formal) Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes
„Er ließ sich von dem Prinzip leiten, daß Begriffe und Aussagen, die keine empirische Verifikation zuließen, aus der theoretischen Physik »ausgemerzt« werden sollten.“
Johannes Wickert: Albert Einstein mit Selbstzeugnissen und Bilddokumenten. 23. Auflage. Rowohlt, Reinbek 2000, ISBN 3-499-50162-7, Seite 34 f. Erstauflage 1972.
-
mathematischer Beweis, dass ein Programm (also eine konkrete Implementation) der vorgegebenen Spezifikation entspricht
Um die Zuverlässigkeit und Korrektheit von Programmen zu garantieren, wird eine formale Verifikation benötigt.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Verifikation | Case=Acc, Gender=Fem, Number=Sing | lexicographic | |
| Verifikation | Case=Gen, Gender=Fem, Number=Sing | lexicographic | |
| Verifikation | Case=Nom, Gender=Fem, Number=Sing | lexicographic | |
| Verifikation | Case=Dat, Gender=Fem, Number=Sing | lexicographic | |
| Verifikationen | Case=Dat, Gender=Fem, Number=Plur | lexicographic | |
| Verifikationen | Case=Nom, Gender=Fem, Number=Plur | lexicographic | |
| Verifikationen | Case=Acc, Gender=Fem, Number=Plur | lexicographic | |
| Verifikationen | Case=Gen, Gender=Fem, Number=Plur | lexicographic |
Antonyms
Hypernyms
Synonyms
Translations (16)
hr ovjera (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · en verification (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · cs verifikace (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · sr овера (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · ia verification (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · sl overja (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · sh оверавање / овјеравање (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · sr оверавање (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · sh овера (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · bs ovjeravanje (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · sk overenie (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · cs ověření (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · mk овера (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · mk оверување (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · bs ovjera (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes) · hr ovjeravanje (bildungssprachlich: Nachweis der Richtigkeit einer Vermutung, Behauptung oder eines Umstandes)