Analysis and Proofs Sample Clauses

Analysis and Proofs. ‌ Our first concern for analysis is to validate properties of the master algorithm implementation. We note that functional properties of co-simulations are addressed in INTO-CPS Deliverable D2.3a. Secondly, we can prove that our model is divergence free. Reactive contracts allow us to directly express this property, via the pre-condition of a reactive design that corresponds to the master algorithm. More precisely, we write this as a conjecture pre(P ) for some Circus process P ; the distribution laws for pre(P ), described in INTO-CPS Deliverable D2.3b allows us then to evaluate and prove this conjecture in Isabelle/UTP. Thirdly, concrete master algorithms must be a refinement of our abstract MA model in Section 3.1. To show this, we use refinement laws of Circus that we have mechanised in Isabelle/UTP. The proof is facilitated here by the fact that our concrete model aggregates the abstract model while imposing additional constraints, but in general our technique is not constrained to a particular shape of a master algorithm: the developer is free to propose and validate his own implementations. Discharging the abovementioned refinement proof establishes that the con- crete MA is conformant with our abstract model, and hence the FMI speci- fication and standard.
Sample 1

Related to Analysis and Proofs

  • Investigations and Proceedings The parties to this Agreement agree to cooperate fully in any securities regulatory investigation or proceeding or any judicial proceeding with respect to each party’s activities under this Agreement and promptly to notify the other party of any such investigation or proceeding.

  • SAFETY OF PERSONS AND PROPERTY 10.2.1 The Contractor shall take all reasonable precautions for the safety of, and shall provide all reasonable protection to prevent damage, injury or loss to: (a) all employees on the Work and all other persons who may be affected thereby; (b) all the Work and all materials and equipment to be incorporated therein, whether in storage on or off-the site, under the care; custody or control of the Contractor or any of his Subcontractors or Sub-subcontractors; and (c) other property at the site or adjacent thereto, including trees, shrubs; lawns, walks, pavements, roadways, structures and utilities not designated for removal, relocation or replacement in the course of construction. 10.2.2 The Contractor shall give all notices and comply with all applicable laws, ordinances, rules, regulations and lawful orders of any public authority bearing on the safety of persons or property or their protection from damage, injury or loss. 10.2.3 The Contractor shall erect and maintain, as required by existing conditions and progress of the Work, all reasonable safeguards for safety and protection, including posting danger signs and other warnings against hazards, promulgating safety regulations and notifying owners and users of adjacent utilities. 10.2.4 When the use or storage of explosives or other hazardous materials or equipment is necessary for the execution of the Work, the Contractor shall: (1) exercise the utmost care and shall carry on such activities under the supervision of properly qualified personnel; and (2) give the State notice, in writing, seven (7) days in advance of the planned activity of the Contractor’s intent to store and/ or use explosives or other hazardous materials or equipment on the project site. 10.2.5 When the project involves the placement or replacement of roofing systems of all types on State- owned buildings, including flat, low-pitched and steep roofs, Contractor must comply with all requirements of the latest edition of VOSHA Safety and Health Standards for Construction (29 CFR 1926) including, but not limited to, Subpart M – Fall Protection. Prior to execution of a contract by BGS, contractors engaged in placement or replacement of roofing systems of all types must submit a signed certification statement attesting to their intention to comply with VOSHA Fall Protection Regulations. Such certification shall be submitted on a State-provided form along with proof of insurance. 10.2.6 The Contractor shall promptly remedy all damage or loss (consistent with Contractor’s obligations described in Attachment C) to any property referred to in Clauses 10.2.1(b) and 10.2.1(c) of these General Conditions caused in whole or in part by the Contractor, any 10.2.7 The Contractor shall designate a responsible member of his organization at the site whose duty shall be the prevention of accidents. This person shall be the Contractor's superintendent unless otherwise designated by the Contractor in writing to the State and the Architect. 10.2.8 The Contractor shall not load or permit any part of the Work to be loaded so as to endanger its safety.

  • Jurisdiction and Process In any action between or among any of the parties, whether arising out of this Agreement or otherwise, (a) each of the parties irrevocably consents to the exclusive jurisdiction and venue of the federal and state courts located in the Commonwealth of Pennsylvania, (b) if any such action is commenced in a state court, then, subject to applicable law, no party shall object to the removal of such action to any federal court located in the Commonwealth of Pennsylvania, (c) each of the parties irrevocably waives the right to trial by jury, and (d) each of the parties irrevocably consents to service of process by first class certified mail, return receipt requested, postage prepaid, to the address at which such party is to receive notice in accordance with Section 12.5, and the prevailing parties shall be entitled to recover their reasonable attorneys' fees and court costs from the other parties.

  • Pending Proceedings and Examinations The Registration Statement is not the subject of a pending proceeding or examination under Section 8(d) or 8(e) of the 1933 Act, and the Company is not the subject of a pending proceeding under Section 8A of the 1933 Act in connection with the offering of the Securities.

  • Protection of Persons and Property The AGENCY shall be responsible for initiating, maintaining and supervising all safety precautions and programs in connection with the performance of this Contract. a. The AGENCY shall take all reasonable precautions for the safety and protection of: i. All employees and all persons whom the AGENCY suffers to be on the premises and other persons who may be affected thereby; ii. All property, materials, and equipment on the premises under the care, custody or control of the AGENCY; and iii. Other property at or surrounding the premises. b. The AGENCY agrees that the COUNTY does not guarantee the security of any equipment or personal property brought by the AGENCY, its agents or employees onto the COUNTY property and that the COUNTY shall in no way be liable for damage, destruction, theft or loss of any equipment and appurtenances regardless of the reason for such damage, destruction, theft or loss. c. The AGENCY shall comply with, and shall ensure that its contractors comply with, all applicable safety laws or ordinances, rules, regulations, standards and lawful orders from authority bearing on the safety of persons or property for their protection from damage, injury or loss. This includes, but is not limited to, the following: i. Occupational Safety & Health Act (OSHA) ii. National Institute for Safety and Health (NIOSH) iii. National Fire Protection Association (NFPA) The AGENCY must also comply with the guidelines set forth in the Orange County Safety & Health Manual. The manual can be accessed online at the address below: d. In any emergency affecting the safety of persons or property, the AGENCY will act with reasonable care and discretion to prevent any threatened damage, injury, or loss.

  • Inspection of Property; Books and Records; Discussions Keep proper books of records and account in which full, true and correct entries in conformity with GAAP and all Requirements of Law shall be made of all dealings and transactions in relation to its business and activities; and permit representatives of any Lender (upon reasonable advance notice coordinated through the Administrative Agent) to visit and inspect any of its properties and examine and make abstracts from any of its books and records at any reasonable time and as often as may reasonably be desired and to discuss the business, operations, properties and financial and other condition of the Borrower and its Subsidiaries with officers and employees of the Borrower and its Subsidiaries and with its independent certified public accountants.

  • Nonpayment and Procedures for Disconnection 12.1 If a Party is furnished Interconnection Services under the terms of this Agreement in more than one (1) state, Section 12.2 below through Section 12.19 below, inclusive, shall be applied separately for each such state. 12.2 Failure to pay charges shall be grounds for disconnection of Interconnection Services furnished under this Agreement. If a Party fails to pay any charges billed to it under this Agreement, including but not limited to any Late Payment Charges or Unpaid Charges, and any portion of such Unpaid Charges remain unpaid after the Bill Due Date, the Billing Party will send a Discontinuance Notice to such Non-Paying Party. The Non-Paying Party must remit all Unpaid Charges to the Billing Party within fifteen (15) calendar days of the Discontinuance Notice. 12.3 AT&T-21STATE will also provide any written notification to any Commission as required by any State Order or Rule. 12.4 If the Non-Paying Party desires to dispute any portion of the Unpaid Charges, the Non-Paying Party must complete all of the following actions not later than fifteen (15) calendar days following receipt of the Billing Party’s notice of Unpaid Charges: 12.4.1 notify the Billing Party in writing which portion(s) of the Unpaid Charges it disputes, including the total Disputed Amounts and the specific details listed in Section 13.4 below of this Agreement, together with the reasons for its dispute; and 12.4.2 pay all undisputed Unpaid Charges to the Billing Party; and 12.4.3 pay all Disputed Amounts (other than Disputed Amounts arising from Intercarrier Compensation) into an interest bearing escrow account that complies with the requirements set forth in Section 11.10 above; and 12.4.4 furnish written evidence to the Billing Party that the Non-Paying Party has established an interest bearing escrow account that complies with all of the terms set forth in Section 11.10 above and deposited a sum equal to the Disputed Amounts into that account (other than Disputed Amounts arising from Intercarrier Compensation). Until evidence that the full amount of the Disputed Charges (other than Disputed Amounts arising from Intercarrier Compensation) has been deposited into an escrow account that complies with Section

  • COMPLAINTS AND INVESTIGATIONS 1. This article applies to complaints or allegations made externally and not from normal supervisory activities. 2. A department head shall be responsible for ensuring that all allegations of misconduct or other complaints against an employee on which any action is to be taken or a record is to be made shall be investigated. The investigator shall be allowed to interview the complainant prior to notifying the employee.

  • Costs and Prorations (a) At Closing, the Parties shall prorate, without duplication, as of the Closing Date, the following with respect to the Assets: (i) Solely to the extent (a) payable by the Company and (b) not covered by Section 1.4(a)(iii) or Section 1.4(a)(iv) below, all ad valorem/personal property taxes and current installments of special assessments levied or assessed with respect to the Assets on a daily basis based upon the fiscal year of the appropriate Taxing Authority on an accrual basis. (ii) All prepaid items and deposits applicable to the operation of the Assets covering periods prior to and after the Closing Date, including all utilities (including gas, water and electricity). The Company shall pay, or cause to be paid, prior to the Closing, all such amounts for which a xxxx has been received for which payments are due prior to the Closing Date, and Purchaser shall be credited, and Seller shall be debited, with an amount equal to all utility charges for the period from the last day covered by any such xxxx until the Closing Date if such utilities will continue to be received. (iii) Amounts payable under Leases and Permits and other Assets shall be prorated on an accrual basis. The Company shall pay, or cause to be paid, when due all amounts due thereunder prior to the Closing Date. For such amounts due on or after the Closing Date and reflected on the Closing Statement or the Final Closing Statement, Purchaser shall be credited, and Seller shall be debited, for Seller’s prorated share of such amount. For such amounts due on or after the Closing Date, Seller agrees to pay its prorated share when due or to promptly reimburse Purchaser if paid by Purchaser; provided, however, to the extent funds are available, such amounts shall first be paid from the Escrow Fund. Percentage rents based on advertising revenues for periods including days both before and after the Closing Date, and Seller’s prorated share thereof, shall be estimated in good faith by extrapolating the advertising revenue for the period upon which the percentage rents are based by applying the average monthly revenue for the months (or portions thereof) preceding the Closing, to the months (or portions thereof) following Closing. For the avoidance of doubt, (x) paid-up/pre-paid rental on Sign Locations Leases pre-paid not more than twelve (12) months beyond the Closing Date shall be prorated, but (y) paid-up/pre-paid rental on Sign Locations Leases prepaid more than twelve (12) months beyond the Closing Date and perpetual easements shall not be prorated. (iv) The Purchase Price shall be decreased by: (a) the pro rata portion of the amount of any remaining balance at the Closing Date of credits for advertisements received prior to the Closing Date or other credits due advertisers from Seller or the Company as of the Closing Date; and (b) pre-billed and/or pre-collected accounts receivable items actually collected and for which outdoor advertising services are to be rendered after the Closing Date. (v) The Purchase Price shall be increased by any amounts posted as security deposit by CCOI or any of its Affiliates with respect to any Assumed Contract (which deposits are not being refunded to CCOI or its Affiliates but rather being retained by the counterparties for the Company’s account). (b) Seller has prepared, in good faith, a closing statement (the “Closing Statement”) consistent with the foregoing and otherwise consistent with this Agreement and has delivered it, along with reasonably detailed information showing the manner in which the contents of the Closing Statement were calculated, to Purchaser prior to the date of this Agreement. In preparing the Closing Statement, Seller used the best available information, subject to additional adjustment among the Parties after Closing upon receipt of definitive information or final bills; provided, however, that no such adjustments will be made after the Closing Statement becomes final pursuant to Section 1.4(c). (c) As soon as practicable after the Closing (but in any event within ninety (90) days after the Closing), Seller shall deliver a final Closing Statement (the “Final Closing Statement”) to Purchaser, which Final Closing Statement shall set forth (among the other information described above) the amount of actual Closing Date Indebtedness. Each Party shall provide to the other Party, reasonable access at reasonable times to the books and records of such Party and to appropriate employees and representatives (including independent accountants) as such other Party shall reasonably request in connection with the preparation and review of the Final Closing Statement, or any component thereof or information contained or referred to therein, as the case may be, including all work papers of the accountants who audited, compiled or reviewed such statements or notices (subject to each Party and its representatives entering into any such access letters required by the other Party’s accountants in connection herewith), and shall otherwise cooperate reasonably and in good faith with such other Party to arrive at a final determination of the amounts set forth in the Final Closing Statement. Unless Purchaser notifies Seller in writing within 15 days after Seller’s delivery of the Final Closing Statement of any objection to the matters set forth in the Final Closing Statement (the “Notice of Objection”), the Final Closing Statement shall become final and binding. Any Notice of Objection shall specify in reasonable detail the basis for the objections set forth therein. If Purchaser provides the Notice of Objection to Seller within such 15-day period, Purchaser and Seller shall, during the 30-day period following Seller’s receipt of the Notice of Objection, attempt in good faith to resolve Purchaser’s objections. If Purchaser and Seller are unable to resolve all such objections within such 30-day period, the matters remaining in dispute that were properly included in the Notice of Objection (the “Unresolved Items”) shall be submitted to a nationally recognized independent public accounting firm mutually acceptable to the Parties (the “Accounting Firm”), which Accounting Firm shall resolve such matters; provided that if Purchaser and Seller are unable to agree upon such firm within ten days after the end of such 30-day period, then the Accounting Firm shall be an accounting or valuation firm of national standing appointed by the American Arbitration Association in New York, New York; provided that such firm shall not be the independent auditor of (or otherwise provide services under a contractual arrangement with) either Purchaser (or any of its Affiliates) or Seller (or any of its Affiliates including iHeartMedia, Inc. or any of its Subsidiaries). Each Party shall furnish the Accounting Firm such work papers and other documents and information pertaining to the Unresolved Items still in dispute as the Accounting Firm may reasonably request and shall be afforded an opportunity to discuss such Unresolved Items with the Accounting Firm at such hearing as the Accounting Firm shall request or permit; provided, that (i) each Party shall provide the other Party with a copy of all materials provided to, and communications with, the Accounting Firm, and (ii) no Party (or any of its Affiliates, advisors or representatives) shall engage in any ex parte communication with the Accounting Firm at any time with respect to the Unresolved Items. The Accounting Firm shall only resolve the Unresolved Items. The resolution of the Unresolved Items by the Accounting Firm shall be final and binding, and the determination of the Accounting Firm shall constitute an arbitral award that is final, binding and non-appealable and upon which a judgment may be entered by a court having jurisdiction over the party against which such determination is to be enforced. Purchaser and Seller shall each pay their own costs and expenses incurred under this Section 1.4; provided, however, that the Accounting Firm shall allocate, and Purchaser and Seller shall pay, its fees, costs and expenses between Purchaser and Seller in accordance with the percentage that the portion of the contested amount not awarded to such Parties bears to the amount actually contested by or on behalf of such Parties. (d) Within five (5) Business Days after the Final Closing Statement is finalized pursuant to clause (c) of this Section 1.4: (i) If the Closing Consideration delivered on the Closing Date exceeds the final Purchase Price as adjusted pursuant to this Section 1.4 and contained in the Final Closing Statement; Seller shall pay to Purchaser an amount equal to such excess; and (ii) If the amount of the final Purchase Price as adjusted pursuant to this Section 1.4 and contained in the Final Closing Statement exceeds Closing Consideration delivered on the Closing Date; Purchaser shall pay Seller an amount equal to such excess. Any amount paid with respect to final adjustments to the Purchase Price made pursuant to this Section 1.4 shall be (i) paid by wire transfer of immediately available funds to an account designated by the receiving Party and (ii) treated as an adjustment of the Purchase Price for applicable tax purposes to the extent permitted by Tax Law.

  • Investigations and Remediations Lessor shall retain the responsibility and pay for any investigations or remediation measures required by governmental entities having jurisdiction with respect to the existence of Hazardous Substances on the Premises prior to the Start Date, unless such remediation measure is required as a result of Lessee's use (including "Alterations", as defined in Paragraph 7.3(a) below) of the Premises, in which event Lessee shall be responsible for such payment. Lessee shall cooperate fully in any such activities at the request of Lessor, including allowing Lessor and Lessor's agents to have reasonable access to the Premises at reasonable times in order to carry out Lessor's investigative and remedial responsibilities.