бағдарламалар верификациясын автоматтандыру
Ағылшыншасы : automation of program verification
бағдарламалар
бағдарлам+а+лар , бағдар+лама+лар
верификациясын
верификаци+ясын , вери+фикация+сын
автоматтандыру
авто+маттанды+ру , авто+мат+тан+дыру