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

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

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

верификация

верификация верифик+аци+я

Анықтама

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