Верификација — разлика између измена
Садржај обрисан Садржај додат
м Бот Додаје: cs:Formální verifikace |
м Бот Додаје: fr, pl, pt, vi |
||
Ред 8: | Ред 8: | ||
[[en:Formal verification]] |
[[en:Formal verification]] |
||
[[es:Verificación formal]] |
[[es:Verificación formal]] |
||
[[fr:Méthode formelle (informatique)]] |
|||
[[he:אימות תוכנה]] |
[[he:אימות תוכנה]] |
||
[[ja:形式的検証]] |
[[ja:形式的検証]] |
||
[[no:Verifikasjon]] |
[[no:Verifikasjon]] |
||
[[pl:Weryfikacja formalna]] |
|||
[[pt:Métodos formais]] |
|||
[[ru:Верификация]] |
[[ru:Верификация]] |
||
[[sk:Verifikácia]] |
[[sk:Verifikácia]] |
||
[[uk:Верифікація]] |
[[uk:Верифікація]] |
||
[[vi:Các phương pháp hình thức]] |
Верзија на датум 6. март 2007. у 23:48
Верификација је процес доказивања истине или неке тврдње, поставке, хипотезе и сл. Изводи се на више начина од којих су експериментални докази највалиднији.
Овај чланак или његов део изворно је преузет из Речника социјалног рада Ивана Видановића уз одобрење аутора.