Английский ⇄ Китайский Русский Украинский +

verification condition generator ударения
микроэл.	генератор условий верификации
СМИ.	генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы)