English ⇄ Chinese Russian Ukrainian

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