Soundness Theorems Sample Clauses

Soundness Theorems. ¤ Below, we define a verification system whose top level judgment is prog : (read: “prog is verified”). We have proven a preservation theorem from which we can draw several corollaries, namely, data race freedom, null error freedom and partial correctness. A pair (hc, hcj) of head commands is called a data race iff hc = (o. f = v) and either hcj = (o. f = vj) or hcj = (A = o. f ) for some o, f , v, vj, A. A head command hc is called a null error iff hc = (A = null. f ) or hc = (null. f = v) or hc = (A = null.m<π¯ >(v¯)). We ({ ›→ } ) define initial states: init(c) = main (Thread, 0/ ) , main is (0/ in c) , where main is some distinguished object id for the main thread. The main thread has an empty set of fields (hence the first 0/ ), and its stack is initially empty (hence the second 0/ ).
AutoNDA by SimpleDocs

Related to Soundness Theorems

  • Affordability (a) Throughout the term of this Agreement, each Low and Moderate Income Unit will be rented for no more than the rental rates set forth herein to an Eligible Tenant. An Eligible Tenant is a Family whose annual income does not exceed eighty percent (80%) of the Area median income adjusted for family size as determined by the U.S. Department of Housing and Urban Development (“HUD”). A “

  • Budget Narrative Services are strictly paid as cost reimbursement. No funds will be paid for services not provided.

  • Background and Narrative of Budget Reductions 2. Assumptions Used in the Deficit Reduction Plan: - EBF and Estimated New Tier Funding: - Equal Assessed Valuation and Tax Rates: - Employee Salaries and Benefits: - Short and Long Term Borrowing: - Educational Impact: - Other Assumptions: - Has the district considered shared services or outsourcing (Ex: Transportation, Insurance) If yes please explain: ESTIMATED LIMITATION OF ADMINISTRATIVE COSTS (School Districts Only) (For Local Use Only)

  • Constructability Review Prepare detailed interdisciplinary constructability review within Fourteen (14) days of receipt of the plans from the District that:

  • Fitness for Duty Examination A. In directing employees to undergo a fitness for duty examination, the Agency will observe applicable rules and regulations.

  • Insurance and Fingerprint Requirements Information Insurance If applicable and your staff will be on TIPS member premises for delivery, training or installation etc. and/or with an automobile, you must carry automobile insurance as required by law. You may be asked to provide proof of insurance. Fingerprint It is possible that a vendor may be subject to Chapter 22 of the Texas Education Code. The Texas Education Code, Chapter 22, Section 22.0834. Statutory language may be found at: xxxx://xxx.xxxxxxxx.xxxxx.xxxxx.xx.xx/ If the vendor has staff that meet both of these criterion: (1) will have continuing duties related to the contracted services; and (2) has or will have direct contact with students Then you have ”covered” employees for purposes of completing the attached form. TIPS recommends all vendors consult their legal counsel for guidance in compliance with this law. If you have questions on how to comply, see below. If you have questions on compliance with this code section, contact the Texas Department of Public Safety Non-Criminal Justice Unit, Access and Dissemination Bureau, FAST-FACT at XXXX@xxxxx.xxxxx.xx.xx and you should send an email identifying you as a contractor to a Texas Independent School District or ESC Region 8 and TIPS. Texas DPS phone number is (000) 000-0000. See form in the next attribute to complete entitled: Texas Education Code Chapter 22 Contractor Certification for Contractor Employees

  • Polygraph Examination No employee shall be compelled to submit to a polygraph examination. No disciplinary action whatsoever shall be taken against an employee refusing to submit to a polygraph examination; nor shall any comment be anywhere recorded indicating that an employee offered to take, took or refused to take a polygraph examination unless otherwise agreed to in writing by the parties; nor shall any testimony or evidence of any kind regarding an employee's offer to take, refusal to take, or the results of a polygraph examination be admissible in any proceeding pursuant to this Agreement, unless otherwise agreed to in writing by the parties.

  • Safety Where an employee is prevented from working at the employee’s particular function as a result of unsafe conditions caused by the inclement weather, the employee may be transferred to other work in the employee’s classification on site, until the unsafe conditions are rectified. Where such alternative is not available and until the unsafe conditions are rectified, the employee shall remain on site. The employee shall be paid for such time without reduction of the employees’ inclement weather entitlement.

  • Health Examinations The Employer shall provide at no cost to the employee, such medical tests, health examinations and surveillance/monitoring as may be required as a condition of employment and/or as a result of regulated hazards encountered after employment.

  • Polygraph Examinations No employee shall be compelled to submit to a polygraph examination against his/her will. No disciplinary action or other recrimination shall be taken against an employee refusing to submit to a polygraph examination, nor shall any comment be entered anywhere in the investigator’s notes or anywhere else that the employee refused to take a polygraph examination, nor shall any testimony or evidence be admissible at a subsequent hearing, trial, or proceeding, judicial or administrative, to the effect that the employee refused to take a polygraph examination.

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