Computable Contracts

A contract is an agreement by parties creating mutual obligations that are enforceable by law. A computable contract is one that is specified in sufficient detail to provide unambiguous answers to questions about compliance of clearly specified circumstances with the terms and conditions of the contract. From a pragmatic point of view, computable contracts are useful as the basis for computer systems capable of automated compliance management.

CompK

The goals of the CodeX Computable Contracts Project (CompK) include the deisgn of a suitable contract definition language (CDL), the creation of an ecosystem for computable contracts (Contractnet) encoded in this language, and a demonstration of its efficacy in a contract-oriented industry, such as insurance (Demonstration).