Formal Verification and Its Methods Sample Clauses

Formal Verification and Its Methods. The main goal of verification methods is to ascertain that an actual system or program satisfies its requirements. In formal verification methods one tries to achieve the aim of verification by describing the system using a mathematical model, expressing the requirements as properties of this model and by showing through rigorous mathematical reasoning that the model of the system indeed has the required properties [50, 110]. Thus, the techniques for formal verification can be considered as comprising of three parts [68]: •
AutoNDA by SimpleDocs

Related to Formal Verification and Its Methods

  • Medical Verification The Town may require medical verification of an employee’s absence if the Town perceives the employee is abusing sick leave or has used an excessive amount of sick leave. The Town may require medical verification of an employee’s absence to verify that the employee is able to return to work with or without restrictions.

  • Eligibility Verification (a) HHSC will verify Medicaid eligibility for Dual Eligible Members by the fifth business day of the month following the receipt of the MA Dual SNP’s monthly enrollment file, in accordance with Section 3.02(b).

  • MEASUREMENT AND VERIFICATION The goal of this task is to report the benefits resulting from this project. Project team may use in- house expertise of the project demonstration site or use third party vendor for measurement and verification (M&V) of GHG and energy consumption reduction. The Recipient shall: • Enter into agreement with M&V subcontractor per Task 1.9 (if using outside vendor) • Coordinate site visits with the M&V subcontractor at the demonstration site(s) • Develop M&V protocol for pre-installation measurement (and calculations) following Section II.B.2 of the grant solicitation manual3: o Electric, natural gas and/or other fossil fuel consumption and greenhouse gas emissions (use appropriate emissions factor from Attachment 8 of the grant solicitation) of the equipment/process/system(s)/sub-system(s) that are be upgraded and/or replaced and/or modified; and o If necessary, ensure installation of sub-metering equipment and data loggers for pre/post data analysis. • Prepare and provide a detailed M&V Plan for each project demonstration site to include but not be limited to: o A description of the monitoring equipment and instrumentation which will be used; o A description of the key input parameters and output metrics which will be measured; o A description of the M&V protocol and analysis methods to be employed; and o A description of the independent, third-party measurement and verification services to be employed, if applicable. • Perform three months (or shorter period as approved in writing by the CAM) of pre- installation measurements (and calculations) based on the M&V protocol for pre- installation. • Prepare and provide a Pre-Installation M&V Findings Report that includes M&V protocol, pre-install measurements (and calculations), analysis, and results performed in this task. • Develop M&V protocol for post-installation measurements (and calculations) of: o Electric, natural gas and/or other fossil fuel consumption and greenhouse gas emissions (use appropriate emissions factor from Attachment 8 of the grant solicitation) of the equipment/process/system(s)/sub-system(s) that will be upgraded and/or replaced and/or modified.  Perform 12 months (or shorter period as approved in writing by the CAM) of post- installation measurements based on M&V protocol for post-installation. • Provide a summary of post-installation M&V progress in Progress Report(s) (see subtask 1.5) which shall include but not be limited to: o A narrative on operational highlights from the reporting period, including any stoppages in operation and why; and o A summary of M&V findings from the reporting period. • Analyze post-installation electrical, natural gas and/or other fossil fuel consumption and GHG emissions. 3 GFO-18-903, Food Production Investment Program, California Energy Commission, November 2018. xxxxx://xxx.xxxxxx.xx.xxx/contracts/GFO-18-903/000_FPIP_Solicitation_Manual.docx • Prepare and provide a Post-installation M&V Findings Report that includes M&V protocol, pre and post install measurements (and calculations), analysis, and results performed in this task. Results should at a minimum report on the reduction of electricity, natural gas and/or other fossil fuel usage and reductions of GHG emissions that directly result from this project.

  • PROCEDURAL HISTORY On December 23, 2002, pursuant to 83 Illinois Administrative Code Part 763, Illinois Bell Telephone Company (“Ameritech Illinois”) and Cook Inlet/Voicestream Operating Company, LLC, By Voicestream PCS BTA 1 Corporation, its agent, and Voicestream Wireless Corporation (collectively “Voicestream”), filed a joint Petition for approval of the Fourth Amendment to the Interconnection Agreement dated November 18, 2002 (the “Amendment”), under Section 252 of the Telecommunications Act of 1996 (47 U.S.C. 151 et seq.) (the “Act”). The Amendment was submitted with the Petition. A statement in support of the Petition was filed along with verifications sworn to by Xxxx Xxxxxx on behalf of Ameritech Illinois, and by Xxx Xxxxxx on behalf of Voicestream, stating that the facts contained in the Petition are true and correct to the best of their knowledge, information, and belief. Illinois Commerce Commission Staff filed the Verified Statement of X. Xxxxxxxx Xxxxxxx, of the Commission’s Telecommunications Division. Pursuant to notice as required by law and the rules and regulations of the Commission, this matter came on for hearing before a duly authorized Administrative Law Judge of the Commission at its offices in Chicago, Illinois, on January 7, 2003. Counsel for Ameritech Illinois and Staff appeared at the hearing and agreed that there were no unresolved issues in this proceeding. The Verified Statement of X. Xxxxxxxx Xxxxxxx was admitted into evidence and the record was marked “Heard and Taken.”

  • Search, Enquiry, Investigation, Examination And Verification a. The Property is sold on an “as is where is basis” subject to all the necessary inspection, search (including but not limited to the status of title), enquiry (including but not limited to the terms of consent to transfer and/or assignment and outstanding charges), investigation, examination and verification of which the Purchaser is already advised to conduct prior to the auction and which the Purchaser warrants to the Assignee has been conducted by the Purchaser’s independent legal advisors at the time of execution of the Memorandum.

  • Verification Procedure (1) The signature file of each processed file is validated.

  • Promotional Examinations All promotional examinations shall be competitive and shall be conducted in the same manner as open examinations except that admission to a promotional examination shall be restricted to persons in the employ of the County who have served at least six months following regular appointment to the classified service and who meet the published requirements for the examination. The Commission shall determine whether an examination shall be held on a promotional or open basis. 1492 Disposition of Papers and Records Prescribed application forms of persons who fail to appear for the written test and examination records of candidates who fail to qualify in the written test shall be destroyed at any time after thirty days from the date of promulgation of the eligible list. Examination records of candidates who qualify in an examination shall be retained during the life of the eligible list or for 15 months, whichever is longer, and the examination records of each appointee shall be filed in his/her permanent personnel folder. Following the period during which competitors may inspect their examination papers, and after their ratings in each part of the examination have been transferred to examination records, examination materials such as question booklets, answer sheets and work papers may be destroyed, but general qualification appraisal sheets and applications shall be retained at least 15 months from the date of the promulgation of the eligible list. APPOINTMENT

  • Induction Procedures a) The parties to this Agreement acknowledge that it is in the interests of the industry that all new employees and employers on a building project understand their obligations to this Agreement and are introduced to their jobs in a manner which will help them work safely and efficiently.

  • Sick Leave Reporting and Verification Employees must promptly notify their supervisor on their first day of sick leave and each day after, unless there is mutual agreement to do otherwise. If an employee is in a position where a relief replacement is necessary if they are absent, they will notify their supervisor at least two (2) hours prior to their scheduled time to report to work (excluding leave taken in accordance with the Domestic Violence Act). Unless otherwise precluded by law, the Employer has reason to suspect abuse, the Employer may require a written medical certificate for any sick leave absence. An employee returning to work after any sick leave absence may be required to provide written certification from their health care provider that the employee is able to return to work and perform the essential functions of the job with or without reasonable accommodation.

  • Employment Eligibility Verification As required by IC § 22-5-1.7, the Contractor swears or affirms under the penalties of perjury that the Contractor does not knowingly employ an unauthorized alien. The Contractor further agrees that:

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