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;
AutoNDA by SimpleDocs

Related to Safety, Liveness, and Deadlock

  • 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. (b) If possible the employee shall give written notification at least one (1) month in advance of the date of commencement of such leave and the expected date of return. (c) The employee shall reconfirm her intention to return to work on the date originally approved in subsection (b) above by written notification received by the Employer at least four (4) weeks in advance thereof. The employee shall be reinstated to her former position, unless the position has been discontinued in which case she shall be given a comparable job. (d) An employee who is on pregnancy leave as provided under this Agreement, who has completed five (5) months of continuous service and has applied for and is in receipt of Employment Insurance pregnancy/ parental benefits pursuant to the Employment Insurance Act shall be paid a supplemental employment benefit. That benefit will be equivalent to the difference between seventy-five percent (75%) of her regular weekly earnings (which for part-time employees shall include percentage-in-lieu) and the sum of her weekly Employment Insurance benefits and any other earnings. Such payment shall commence following receipt by the Employer of the employee's Employment Insurance cheque stub as proof that she is in receipt of Employment Insurance pregnancy/ parenting benefits, and shall continue while the employee is in receipt of such benefits for a maximum period of seventeen (17) weeks. The employee will endeavour to provide a copy of the Employment Insurance cheque stub within two (2) weeks of receipt of the employee’s EI benefit. The employee's regular weekly earnings shall be determined by multiplying her regular hourly rate on her last day worked prior to the commencement of the leave times her normal weekly hours. The normal weekly hours for an employee working less than seventy-five

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

  • Respectful Workplace a. The Employer is committed to taking appropriate measures to create and maintain a workplace that is respectful and free from inappropriate workplace behavior for all Agency employees pursuant to the statewide policy titled ‘Maintaining a Professional Workplace Policy’ (50.010.03). b. If an Agency employee believes an Agency employee, supervisor or manager has violated the statewide policy titled ‘Maintaining a Professional Workplace’ (50.010.03), the employee shall submit a complaint pursuant to the process outlined in the policy. The Agency complaint form will be accessible to all employees both online and through the Agency’s Human Resources Office. c. The employee may have a Union representative present during regular work hours when reporting inappropriate workplace behavior and through the process outlined in this section. d. The Agency shall investigate the complaint and shall provide a written response to the employee filing the complaint within thirty (30) calendar days of the complaint being filed. When circumstances warrant it, the Agency may take additional time to complete the investigation in blocks of additional thirty (30) calendar days with notice to the Union. The response will include whether the complaint was substantiated and any relevant non confidential information pertaining to the remedial steps taken, if any. Repeated behavior or conduct shall be reported to the Agency Human Resource Office. e. For purposes of this Section, the grievance procedure in Subsection 6 replaces the grievance procedure outlined in the local agreement. (1) If the employee who filed the complaint believes that the Agency did not respond to the complaint or the complaint process was not followed, the Union, on behalf of the employee, may file a grievance directly with the Agency Head. The Agency Head or designee shall respond to the grievance within thirty (30) calendar days from the date of receipt of the grievance. (2) If the employee continues to believe the Agency did not respond to the complaint or did not follow the complaint process, the Union, on behalf of the employee may, within fifteen (15) calendar days of the Agency Head or designee’s response, file the grievance with the Department of Administrative Services Labor Relations Unit. The grievance will be investigated and a response provided within thirty (30) calendar days from the date the grievance was appealed to the Department of Administrative Services. (3) If the Department of Administrative Services Labor Relations Unit’s response did not respond to the complaint or did not address whether the complaint process was followed, the Union may, within fifteen (15) calendar days, file an arbitration request with the Department of Administrative Services and send a copy to the Employment Relations Board asking for a list of seven

  • 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: a. Publish a statement notifying employees that unlawful manufacture, distribution, dispensation, possession or use of a controlled substance is prohibited and specifying actions to be taken against employees for violations. b. Establish a Drug-Free Awareness Program to inform employees about: 1) the dangers of drug abuse in the workplace; 2) the person's or organization's policy of maintaining a drug-free workplace; 3) any available counseling, rehabilitation and employee assistance programs; and, 4) penalties that may be imposed upon employees for drug abuse violations. c. Every employee who works on the proposed Agreement will: 1) receive a copy of the company's drug-free workplace policy statement; and, 2) agree to abide by the terms of the company's statement as a condition of employment on the Agreement. Failure to comply with these requirements may result in suspension of payments under the Agreement or termination of the Agreement or both and Contractor may be ineligible for award of any future State agreements if the department determines that any of the following has occurred: the Contractor has made false certification, or violated the certification by failing to carry out the requirements as noted above. (Gov. Code §8350 et seq.)

  • CERTIFICATION REGARDING DRUG-FREE WORKPLACE REQUIREMENTS 1. The Contractor certifies that it will provide a drug-free workplace by: a. Publishing a statement notifying employees that the unlawful manufacture, distribution, dispensing, possession or use of a controlled substance is prohibited in the Contractor’s workplace and specifying the actions that will be taken against employees for violation of such prohibition;

  • Personal Illness and Injury Leave 10.1.1 Full-time bargaining unit members shall be entitled to ten (10) days leave with full pay for each school year for purposes of personal illness or injury. Bargaining unit members 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 bargaining unit member in a comparable position. 10.1.2 After all earned leave as set forth in 10.1.1 above is exhausted, additional non-accumulated leave shall be available for a period not to exceed five (5) school months, provided that the provisions of 10.1.4 below are met. The amount deducted for leave purposes from the bargaining unit member's salary shall be the amount actually paid a substitute employee employed to fill the position during the leave, or, if no substitute is employed, the amount which would have been paid to a substitute. The five-month period shall begin on the eleventh (11) day of absence due to illness or injury. 10.1.3 If a bargaining unit member does not utilize the full amount of leave as authorized in Article 10.1.1 above in any school year, the amount not utilized shall be accumulated from year to year. 10.1.4 Upon request by District management, a bargaining unit member shall be required to present a medical doctor's certificate verifying the personal illness or injury and/or a medical authorization to return to work. If the illness or injury exceeds twenty (20) consecutive days, the District may require a certified medical specialist to visit the bargaining unit member and make all necessary inquiries in order to be fully informed as to the nature and severity of the illness or injury, and to report such findings to the Superintendent or designee. If the report concludes that the absence is not due to personal illness or injury, or that the illness is not sufficiently severe to warrant continued absence, then the Superintendent or designee, after notice to the bargaining unit member, may refuse to grant such a leave. If requested by the District management to furnish a medical doctor's authorization, bargaining unit member shall submit said authorization upon returning to work. 10.1.5 Whenever possible, a bargaining unit member must contact the designated District Office personnel as soon as the need to be absent is known, but no later than ninety (90) minutes prior to the bargaining unit member's starting time, in order to permit the employer time to secure a substitute. Failure to provide adequate notice may be grounds for denial of leave with pay. 10.1.6 A bargaining unit member who is absent for one-half day or less may have deducted one-half day from the accumulated leave; and if the absence exceeds more than one-half day, a full day may be deducted from accumulated leave. 10.1.7 A bargaining unit member may not be allowed to return to work and may be required to pay the cost of the substitute secured if the bargaining unit member fails to notify the District of the bargaining unit member's intent to return to work prior to the close of the bargaining unit member's preceding workday, and such failure results in a substitute being secured. 10.1.8 Each bargaining unit member may request notification of the accumulated leave by September 30th of each school year.

  • Additional Federally Required Orders/Directives Both parties agree that they will comply with the following laws and directives, where applicable: 11.20.1 Executive Order 11061, as amended, which directs the Secretary of HUD to take all action which is necessary and appropriate to prevent discrimination by agencies that utilize federal funds. 11.20.2 Public Law 88-352, Title VI of the Civil Rights Act of 1964, which provides that no person in the United States shall, on the basis of race, color, national origin, or sex, be excluded from participation in, denied the benefits of, or subjected to discrimination under any program or activity which receives federal financial assistance. The Agency hereby extends this requirement to the Contractor and its private contractors. Specific prohibited discriminatory actions and corrective action are described in Chapter 2, Subtitle C, Title V of the Anti-Drug Abuse Act of 1988 (42 U.S.C. 19901 et. seq.). 11.20.3 Public Law 90-284, Title VIII of the Civil Rights Act of 1968., popularly known as the Fair Housing Act, which provides for fair housing throughout the United States and prohibits any person from discriminating in the sale or rental of housing, the financing of housing or the provision of brokerage services, including in any way making unavailable or denying a dwelling to any person because of race, color, religion, sex, or national origin. Pursuant to this statute, the Agency requires that the Contractor administer all programs and activities, which are related to housing and community development in such a manner as affirmatively to further fair housing. 11.20.4 The Age Discrimination Act of 1975, which prohibits discrimination on the basis of age. 11.20.5 Anti-Drug Abuse Act of 1988 (42 U.S.C. 11901 et. seq.). 11.20.6 HUD Information Bulletin 909-23 which is the following: 11.20.6.1 Notice of Assistance Regarding Patent and Copyright Infringement; 11.20.6.2 Clean Air and Water Certification; and,

  • Extended Child Care Leave Upon written notification, no later than four weeks prior to the expiration of the aggregate leave taken pursuant to Clauses 21.1 (Maternity Leave) and 21.2 (Parental Leave), an employee will be granted a further unpaid leave of absence not to exceed one year. An employee wishing continued coverage under any applicable benefit plans will pay the total premium costs while on extended child care leave. An employee on extended child care leave will provide the Employer with at least one month's written notice of return from such leave. Upon return from extended child care leave, an employee will be placed in their former position.

  • Safety Rules 5.01 The safety rules of the State having jurisdiction shall be observed by the parties hereto. It is recognized that the Employer has the exclusive responsibility for providing a safe and healthful workplace. To assist the Employer in maintaining an effective and continuing safety program, a permanent Joint Safety Committee shall be established, consisting of two (2) members from the Union and two (2) members from the Employers, who shall meet at regular times to administer educational instructions, investigate serious accidents, and to draft appropriate safety rules. Such rules as adopted by this committee, shall become a part of this Agreement.

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