Anglais ⇄ Langues chinoises Russe Ukrainien +

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