Бағдарламаны верификациялаудың автоматтандырылған жүйесі

Сала: Информатика және есептеуіш техника

Ағылшыншасы : Automated program verification system

автоматизированная

автоматизированная автомат+из+ир+ова+н+н+ая

верификация

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

Анықтама

[өзгерту]
Бұл жүйе бағдарламалық қамтамасыз етудің дұрыстығын тексеру үшін автоматтандырылған құралдарды қолданады.