Common use of Contract Size Clause in Contracts

Contract Size. In each of the ten cases, only one change contract file is used and its size is shown under the “Contract size” column of Table III. The “Core” subcolumn shows the number of total clauses used in change contracts (e.g., the use of one requires clause and one when ensured clause are counted as two), and the “Extra” subcolumn the number of primitive statements used in optional auxiliary model methods (see Figure 2(c) for the example of a model method). ×