A verification technique to assess whether an entity performs its functions in accordance with specified requirements at the same level of decomposition.