英语 ⇄ 俄语 +

computational correctness 强调
军队, 航空	возможность выполнения безошибочных вычислений (possibility)