Postcondition
Postcondition stands for:
- Postcondition (computer science) , an element to be checked after execution if the preconditions are met
- Post-condition (s) in the context of contract-based programming, see Design by contract # Pre- and Post-Conditions
See also