Safety, Liveness, and Deadlock Sample Clauses

Safety, Liveness, and Deadlock. Freedom‌ A VeriSolid model is automatically verified for deadlock freedom. A developer may additionally verify safety and liveness properties. To facilitate the specifica- tion of properties, VeriSolid offers a set of predefined natural-language like tem- plates, which correspond to properties in CTL. Alternatively, properties can be specified directly in CTL. Let us go through some of these predefined templates. Due to space limitations, the full template list, as well as the CTL property correspondence is provided in Appendix B. uint amount = pending Returns [ msg. sender ]; if ( amount > 0) { if ( msg. sender != highestBidder ) msg. sender. transfer( amount ); else msg. sender. transfer( amount - highestBid ); pending Returns [ msg. sender] = 0;
Sample 1
AutoNDA by SimpleDocs

Related to Safety, Liveness, and Deadlock

  • Variation of period of parental leave Unless agreed otherwise between the employer and employee, an employee may apply to their employer to change the period of parental leave on one occasion. Any such change to be notified at least four weeks prior to the commencement of the changed arrangements.

  • CONSULTATION REGARDING MAJOR WORKPLACE CHANGE 8.1 Consultation Prior to a Definite Decision Being Made

  • Pregnancy and Parental Leaves (a) Pregnancy and Parental Leaves shall be granted in accordance with the Employment Standards Act.

  • Pregnancy and Parental Leave (a) Pregnancy/Parenting leave will be granted in accordance with the provisions of the Employment Standards Act, except where amended in this provision.

  • Consideration of Criminal History in Hiring and Employment Decisions 10.14.1 Contractor agrees to comply fully with and be bound by all of the provisions of Chapter 12T, “City Contractor/Subcontractor Consideration of Criminal History in Hiring and Employment Decisions,” of the San Francisco Administrative Code (“Chapter 12T”), including the remedies provided, and implementing regulations, as may be amended from time to time. The provisions of Chapter 12T are incorporated by reference and made a part of this Agreement as though fully set forth herein. The text of the Chapter 12T is available on the web at xxxx://xxxxx.xxx/olse/fco. Contractor is required to comply with all of the applicable provisions of 12T, irrespective of the listing of obligations in this Section. Capitalized terms used in this Section and not defined in this Agreement shall have the meanings assigned to such terms in Chapter 12T.

  • Drug-Free Workplace Contractor represents and warrants that it shall comply with the applicable provisions of the Drug-Free Work Place Act of 1988 (41 U.S.C. §701 et seq.) and maintain a drug-free work environment.

  • Drug Free Workplace Act The Contractor will assure a drug-free workplace in accordance with 45 CFR Part 76.

  • DRUG-FREE WORKPLACE REQUIREMENTS Contractor will comply with the requirements of the Drug-Free Workplace Act of 1990 and will provide a drug-free workplace by taking the following actions:

  • CERTIFICATION REGARDING DRUG-FREE WORKPLACE REQUIREMENTS The undersigned (authorized official signing for the contracting organization) certifies that the contractor will, or will continue to, provide a drug-free workplace in accordance with 45 CFR Part 76 by:

  • Personal Illness and Injury Leave 1. Full-time employees shall be entitled to ten (10) days leave with full-time pay for each school year for purposes of personal illness or injury. Employees who work less than full-time shall be entitled to that portion of the ten (10) days leave as the number of hours per week of scheduled duty relates to the number of hours for a full-time employee in a comparable position.

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