Collecting Additional Hypothesis Sample Clauses

Collecting Additional Hypothesis. There is a way to discharge proof obligations like in the example above without strengthening event guards. Indeed, by looking at the flow expression one should notice that close1 is always preceded by pr_low and thus may only be enabled when pr = LOW . Likewise, since close1 always follows open1 and the second door is always closed in the after-states of open1 (due to the safety invariant of the model requiring that at most one door is open a time) it is known that the condition d2 = CL is always true for states when close1 is enabled. Hence all the information that was introduced into proofs by strengthening event guards is already present in a model. To benefit from this information it must be collected and added in the form of hypothesis to flow proof obligations. Let vi—1 be a model state preceding state vi and state vn be the most recent previous state preceding the current state v. Also, let Hi(v1, . . . , vn, v) be the current collection of hypothesis for some event a. Then for an instance of sequential composition a; b the collection of hypothesis available in the after-state of b is computed as A A Hi+1 = Hi(v1,..., vn, vn+1) G(vn+1) S(vn+1, v) where G and S are the guard and actions of b. It is straightforward to generalise this ba- sic procedure to the complete flow language. However, there an issue of filtering out irrelevant hypothesis as a large number of hypothesis slows down some provers.
Sample 1
AutoNDA by SimpleDocs

Related to Collecting Additional Hypothesis

  • Reasonable Additional Hours All hours worked over an average of 38 ordinary hours per week, will be deemed to be additional hours. All hours worked by permanent part-time employees beyond their specified number of hours will be treated as additional hours for the purpose of this subclause. From time to time, employees may be required to work a reasonable amount of additional hours. All additional hours worked will be paid in accordance with this Agreement. An employee may not be required to work additional hours in circumstances where the working of additional hours would result in the employee working hours which are unreasonable having regards to (refer to section 226 of the Act):

  • SHIPMENT UNDER RESERVATION PROHIBITED The Contractor is not authorized to ship the deliverables under reservation and no tender of a bill of lading will operate as a tender of deliverables.

  • Unobligated and Unearned Funds and Allowable Costs In accordance with Section 215.971, Florida Statutes, the Grantee shall refund to the State of Florida any balance of unobligated funds which has been advanced or paid to the Grantee. In addition, funds paid in excess of the amount to which the recipient is entitled under the terms and conditions of the agreement must be refunded to the state agency. Further, the recipient may expend funds only for allowable costs resulting from obligations incurred during the specified agreement period. Expenditures of state financial assistance must be in compliance with the laws, rules, and regulations applicable to expenditures of State funds, including, but not limited to, the Reference Guide for State Expenditures.

  • Program Requirements Provided At No Charge to the Judicial Council A. The Contractor shall provide the following items during the Program at no charge to the Judicial Council:

  • Payment and Collection Your bill will be based on monthly meter readings provided to XOOM Energy by your NGDC. If there is an error in your meter reading, XOOM Energy will adjust its bill to you upon your NGDC providing a corrected meter reading to XOOM Energy. You represent that you are financially able and willing to fulfill the terms and conditions of this Agreement and that you have not filed, are not in the process of filing or plan to begin any bankruptcy proceedings. Your first bill payment will be due to the NGDC on the date specified in the NGDC bill. If you do not pay it on time, you could be subject to interest and late charges imposed by the NGDC, and your service could be disconnected. In all events, you shall remain obligated to pay for all natural gas received by you and any interest, fees and penalties incurred by XOOM Energy. You will also be responsible for all costs, including legal fees, associated with the collection of amounts owed to XOOM Energy.

  • Charge / Transfer k. If the separate document of title or strata title for the Property has been issued whether before on or after the date of auction sale, the Assignee shall not be required to procure a Memorandum of Transfer nor to register its charge as prescribed by the National Land Code 1965 or Sarawak Land Code or the Land Ordinance Cap. 68 of the Laws of Sabah (where applicable) in favour of the Purchaser from the Developer and/or Proprietor (as the case may be).

  • Taxes and Fees Imposed on Purchasing Party But Collected And Remitted By Providing Party 11.3.1 Taxes and fees imposed on the purchasing Party shall be borne by the purchasing Party, even if the obligation to collect and/or remit such taxes or fees is placed on the providing Party.

  • COLLECTION OF COST-SHARE (a) The PHP agrees to collect from the beneficiary or the parents or guardian of the beneficiary only those amounts applicable to the patient’s cost-share (copayment) as defined in 32 CFR 199.4, and services and supplies which are not a benefit.

  • Additional Hours (a) where an employer requires and the part time employee agrees to work additional hours, the employee shall be paid for each additional hour or part thereof at the employee’s normal part time hourly rate of pay.

  • Payment of Additional Costs If termination of this contract is due to the failure of the Engineer to fulfill its contract obligations, the State may take over the project and prosecute the work to completion, and the Engineer shall be liable to the State for any additional cost to the State.

Time is Money Join Law Insider Premium to draft better contracts faster.