Terms for subject Software containing given to

English	Russian
be correct with regard to a given specification	соответствовать формальной спецификации (Electronic Design Alex_Odeychuk)