If An Application Fulfills Its Formal Specifications But Deviates From

If An Application Fulfills Its Formal Specifications But Deviates From