英语 ⇄ 中文 乌克兰语 俄语 +

verification condition generator 强调
媒体	генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы)
微电子学	генератор условий верификации