英语 ⇄ 俄语 +

provably correct program 强调
编程	доказуемо корректная программа (программа, написанная таким образом, что можно привлечь математический или логический аппарат для доказательства того, что она удовлетворяет предъявленным требованиям theregister.com ssn)