Computable contract

Definition
A computable contract is a contractual obligation that has been formulated such that a computer system can both interpret and determine whether the obligation has been complied with.

Source

 * "Computable Contracts".