Anglais ⇄ Russe +

safe-critical code contraintes
progr.	безопасный код (код, выполняющий различные проверки на предмет безопасности Alex_Odeychuk)