事じ後ご条じょう件けん

noun

postcondition

Computing term: a condition that must be true after a program or function executes. Often used in formal verification and design by contract.

• 関かん数すうの事じ後ご条じょう件けんを満みたすように実じっ装そうする。

  Implement the function so that it satisfies the postcondition.

• 事じ後ご条じょう件けんが成なり立たたない場ば合あい、バグの可か能のう性せいがある。

  If the postcondition does not hold, there may be a bug.