Englisch ⇄ Chinesisch Russisch Ukrainisch +

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