אנגלית ⇄ אוקראינית סינית רוסית +

verification condition generator מתח
.מיקרו	генератор условий верификации
.תקשור	генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы)