формальды верификация

Сала: 2021 Бекітілген термин

Ағылшыншасы : formal verification

верификация

верификация верифик+аци+я
корпустан іздеу

формальды

формальды форм+аль+ды
корпустан іздеу

Анықтама

[өзгерту]
Формальды верификация — бағдарламалық қамтамасыз етудің дұрыс жұмыс істейтінін математикалық әдістермен тексеру процесі.

Басқа нәтижелер

логика формальная Формальная демография Формальная экспертиза Ошибка формальная Формальная кинетика Изомерия формальная Классификация формальная Арифметика формальная Формальная грамматика