Верификација — разлика између измена
Садржај обрисан Садржај додат
м Бот Додаје: fr, pl, pt, vi |
м Бот Додаје: zh Брише: pt, vi Мења: fr, ru |
||
Ред 8: | Ред 8: | ||
[[en:Formal verification]] |
[[en:Formal verification]] |
||
[[es:Verificación formal]] |
[[es:Verificación formal]] |
||
[[fr: |
[[fr:Vérification formelle]] |
||
[[he:אימות תוכנה]] |
[[he:אימות תוכנה]] |
||
[[ja:形式的検証]] |
[[ja:形式的検証]] |
||
[[no:Verifikasjon]] |
[[no:Verifikasjon]] |
||
[[pl:Weryfikacja formalna]] |
[[pl:Weryfikacja formalna]] |
||
[[ru:Формальная верификация]] |
|||
[[pt:Métodos formais]] |
|||
[[ru:Верификация]] |
|||
[[sk:Verifikácia]] |
[[sk:Verifikácia]] |
||
[[uk:Верифікація]] |
[[uk:Верифікація]] |
||
[[zh:形式验证]] |
|||
[[vi:Các phương pháp hình thức]] |
Верзија на датум 9. јун 2008. у 14:40
Верификација је процес доказивања истине или неке тврдње, поставке, хипотезе и сл. Изводи се на више начина од којих су експериментални докази највалиднији.
Овај чланак или његов део изворно је преузет из Речника социјалног рада Ивана Видановића уз одобрење аутора.