Let us make sure that the set of preconditions are satisfied by the input values at the same time there is a set of post conditions that must be satisfied for the output value.
उसी समय पोस्टकंडीशन का एक सेट है जो आउटपुट वैल्यू के लिए संतुष्ट होना चाहिए।