事じ後ご条じょう件けん

じ

ご

じょ

う

け

ん

Meanings

1

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.