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.
View Source

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.

  • Conformity with ▇▇▇▇▇ Filing The Prospectus delivered to the Agent for use in connection with the sale of the Placement Shares pursuant to this Agreement will be identical to the versions of the Prospectus created to be transmitted to the Commission for filing via ▇▇▇▇▇, except to the extent permitted by Regulation S-T.

  • 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.