Anglais ⇄ Russe +

compiler qualification contraintes
syst.	аттестация компилятора (по требованиям к функциональной и информационной безопасности программного обеспечения adacore.com Alex_Odeychuk)