Anglais ⇄ Russe +

second level of correctness contraintes
progr.	второй уровень корректности (программа не только выполняется, но и делает то, что соответствует утверждённым требованиям к программному обеспечению technologyreview.com Alex_Odeychuk)