Subject | Russian | English |
softw. | соответствовать формальной спецификации | be correct with regard to a given specification (Electronic Design Alex_Odeychuk) |
progr. | соответствовать формальной спецификации требуемого поведения программы | meet a formal specification of the program's required behavior. (корпорации AdaCore Alex_Odeychuk) |