Inglés ⇄ Chino Ruso Ucraniano +

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