Strictness of Protocol Properties Sample Clauses

Strictness of Protocol Properties. Showing that trace properties are strict for traces can be done by providing traces that distinguish the properties. However, there is a subtle but important difference between trace properties and protocol properties. A trace property holds for a specific trace, while a protocol property has to hold for every possible trace of the protocol. The original definitions by Xxxx contain a temporal requirement: the Running action must have occurred before Commit. However, it is not necessary to specify as part of the property. Consider the example of a modified formula for injective agreement specified as follows. happened before or at timepoint i, but excluding all actions that happened after. This is because our Dolev-Yao adversary is able to drop all messages sent after this point1. Such a trace contains a Commit action at i, but no matching Running action. Such a trace does not fulfil φi−agree. Such a trace must be a valid trace for protocol P , since it only contains states in an order that was possible during trace T . But this is a contradiction, since P |= φi−agree. The same line of reasoning can be used to justify removal of the temporal condition also from the other properties. This example illustrates that strictness for trace properties does not equate to strictness for protocol properties. In order to show that two protocol properties are distinctly different, we must first show that there exists a protocol fulfilling the first property, but for which there exists a trace which violates the other property.
AutoNDA by SimpleDocs

Related to Strictness of Protocol Properties

  • DEVELOPMENTAL REQUIREMENTS The Personal Development Plan (PDP) for addressing developmental gaps is attached as Annexure B.

  • Maintenance of Properties (a) Maintain, preserve and protect all of its material properties and equipment necessary in the operation of its business in good working order and condition, ordinary wear and tear excepted; (b) make all necessary repairs thereto and renewals and replacements thereof except where the failure to do so could not reasonably be expected to have a Material Adverse Effect; and (c) use the standard of care typical in the industry in the operation and maintenance of its facilities.

  • Compliance with Accessibility Standards All parties to this Agreement shall ensure that the plans for and the construction of all projects subject to this Agreement are in compliance with standards issued or approved by the Texas Department of Licensing and Regulation (TDLR) as meeting or consistent with minimum accessibility requirements of the Americans with Disabilities Act (P.L. 101-336) (ADA).

  • Occupational First Aid Requirements and Courses (a) The Union and the Employer agree that First Aid Regulations made pursuant to the Workers' Compensation Act shall be fully complied with.

  • Compliance with Governmental Requirements Grantor shall comply promptly with all laws, ordinances, rules and regulations of all governmental authorities, now or hereafter in effect, applicable to the ownership, production, disposition, or use of the Collateral. Grantor may contest in good faith any such law, ordinance or regulation and withhold compliance during any proceeding, including appropriate appeals, so long as Lender's interest in the Collateral, in Lender's opinion, is not jeopardized.

  • Personnel Requirements and Documentation Grantee will;

  • Federal Requirements Pertaining to Grants and Subrecipient Agreements A. Requirement to Have a Single Audit: In the case that this Agreement is a Grant that is funded in whole or in part by federal funds, the Subrecipient will complete the Subrecipient Annual Report annually within 45 days after its fiscal year end, informing the State of Vermont whether or not a Single Audit is required for the prior fiscal year. If a Single Audit is required, the Subrecipient will submit a copy of the audit report to the granting Party within 9 months. If a single audit is not required, only the Subrecipient Annual Report isrequired. For fiscal years ending before December 25, 2015, a Single Audit is required if the subrecipient expends $500,000 or more in federal assistance during its fiscal year and must be conducted in accordance with OMB Circular A-133. For fiscal years ending on or after December 25, 2015, a Single Audit is required if the subrecipient expends $750,000 or more in federal assistance during its fiscal year and must be conducted in accordance with 2 CFR Chapter I, Chapter II, Part 200, Subpart F. The Subrecipient Annual Report is required to be submitted within 45 days, whether or not a Single Audit is required.

  • Compliance with Environmental Laws Except as otherwise described in the Prospectus, and except as would not, individually or in the aggregate, result in a Material Adverse Change (i) neither the Company nor any of its subsidiaries is in violation of any federal, state, local or foreign law or regulation relating to pollution or protection of human health or the environment (including, without limitation, ambient air, surface water, groundwater, land surface or subsurface strata) or wildlife, including without limitation, laws and regulations relating to emissions, discharges, releases or threatened releases of chemicals, pollutants, contaminants, wastes, toxic substances, hazardous substances, petroleum and petroleum products (collectively, “Materials of Environmental Concern”), or otherwise relating to the manufacture, processing, distribution, use, treatment, storage, disposal, transport or handling of Materials of Environmental Concern (collectively, “Environmental Laws”), which violation includes, but is not limited to, noncompliance with any permits or other governmental authorizations required for the operation of the business of the Company or its subsidiaries under applicable Environmental Laws, or noncompliance with the terms and conditions thereof, nor has the Company or any of its subsidiaries received any written communication, whether from a governmental authority, citizens group, employee or otherwise, that alleges that the Company or any of its subsidiaries is in violation of any Environmental Law; (ii) there is no claim, action or cause of action filed with a court or governmental authority, no investigation with respect to which the Company has received written notice, and no written notice by any person or entity alleging potential liability for investigatory costs, cleanup costs, governmental responses costs, natural resources damages, property damages, personal injuries, attorneys’ fees or penalties arising out of, based on or resulting from the presence, or release into the environment, of any Material of Environmental Concern at any location owned, leased or operated by the Company or any of its subsidiaries, now or in the past (collectively, “Environmental Claims”), pending or, to the Company’s knowledge, threatened against the Company or any of its subsidiaries or any person or entity whose liability for any Environmental Claim the Company or any of its subsidiaries has retained or assumed either contractually or by operation of law; and (iii) to the best of the Company’s knowledge, there are no past or present actions, activities, circumstances, conditions, events or incidents, including, without limitation, the release, emission, discharge, presence or disposal of any Material of Environmental Concern, that reasonably could result in a violation of any Environmental Law or form the basis of a potential Environmental Claim against the Company or any of its subsidiaries or against any person or entity whose liability for any Environmental Claim the Company or any of its subsidiaries has retained or assumed either contractually or by operation of law.

  • Environmental Regulations The Contractor shall conduct activities in compliance with applicable laws and regulations and other requirements of the Contract relating to the environment and its protection at all times. Unless otherwise specifically determined, the Owner is responsible for obtaining and maintaining permits related to stormwater run-off. The Contractor shall conduct operations consistent with stormwater run-off permit conditions. Contractor is responsible for all items it brings to the Site, including hazardous materials, and all such items brought to the Site by its Subcontractors and suppliers, or by other entities subject to direction of the Contractor. The Contractor shall not incorporate hazardous materials into the Work without prior approval of Owner, and shall provide an affidavit attesting to such in association with the request for the Substantial Completion Inspection.

  • Dangerous Materials Tenant shall not keep or have on the Premises any article or thing of a dangerous, flammable, or explosive character that might substantially increase the danger of fire on the Premises, or that might be considered hazardous by a responsible insurance company, unless the prior written consent of Landlord is obtained and proof of adequate insurance protection is provided by Tenant to Landlord.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!