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). (b) To verify Medicaid eligibility of an individual Member, HHSC agrees to provide the MA Dual SNP with real-time access to HHSC’s claims administrator’s Medicaid eligibility verification system.

  • MEASUREMENT AND VERIFICATION The goal of this task is to report the benefits resulting from this project by performing measurement and verification (M&V) of fossil fuel consumption and associated GHG reduction. • Enter into agreement with M&V subcontractor per Task 1.9 • Coordinate site visits with the M&V subcontractor at the demonstration site(s) • Develop M&V protocol for pre-installation measurements (and calculations): o Electric, natural gas and/or other fossil fuel consumption and GHG emissions (use appropriate emissions factor from Attachment 8 of the grant solicitation) of the equipment/process/system(s)/sub-system(s) that are to be upgraded and/or replaced and/or modified. o 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. o A description of the independent, third-party M&V 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 for the demonstration site 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 GHG 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 two seasons, for seasonal facilities, (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:

  • PROCEDURAL HISTORY On May 16, 2008, pursuant to 83 Illinois Administrative Code Part 763, Illinois Bell Telephone Company (“AT&T Illinois”) and Vertex Broadband, Corp. d/b/a AthenaTel d/b/a Reason to Switch d/b/a TownLink Communications d/b/a INT Connections (“Vertex”), filed a joint petition for approval of the 1st Amendment to the Interconnection Agreement dated May 6, 2008 under Section 252 of the Telecommunications Act of 1996 (47 U.S.C. § 252 et seq.) (“the Act”). The 1st Amendment to the Agreement was submitted with the petition. A statement in support of the petition was filed along with verifications sworn to by Xxxxx X. Xxxx, Xx. on behalf of AT&T Illinois and by Xxxxxx X. Xxxxx on behalf of Vertex, stating that the facts contained in the petition are true and correct to the best of their knowledge, information, and belief. Pursuant to notice as required by law and the rules and regulations of the Commission, this matter came on for hearing by the duly authorized Administrative Law Judge of the Commission at its offices in Chicago, Illinois, on June 9, 2008. Staff previously filed the Verified Statement of A. Xxxxxxxx Xxxxxxx of the Commission’s Telecommunications Division on June 6, 2008. At the hearing on June 9, 2008, AT&T Illinois, Vertex and Staff appeared and agreed that there were no unresolved issues in this proceeding. Subsequently Xx. Xxxxxxx’x Verified Statement 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. b. The intending bidder or the Purchaser is responsible at own costs and expenses to make and shall be deemed to have carried out own search, enquiry, investigation, examination and verification on all liabilities and encumbrances affecting the Property, the title particulars as well as the accuracy and correctness of the particulars and information provided. c. The Purchaser shall be deemed to purchase the Property in all respects subject thereto and shall also be deemed to have full knowledge of the state and condition of the Property regardless of whether or not the said search, enquiry, investigation, examination and verification have been conducted. d. The Purchaser shall be deemed to have read, understood and accepted these Conditions of Sale prior to the auction and to have knowledge of all matters which would have been disclosed thereby and the Purchaser expressly warrants to the Assignee that the Purchaser has sought independent legal advice on all matters pertaining to this sale and has been advised by his/her/its independent legal advisor of the effect of all the Conditions of Sale. e. Neither the Assignee nor the Auctioneer shall be required or bound to inform the Purchaser of any such matters whether known to them or not and the Purchaser shall raise no enquiry, requisition or objection thereon or thereto.

  • Inspection and Verification The Secured Parties and such persons as the Secured Parties may reasonably designate shall have the right to inspect the Collateral, all records related thereto (and to make extracts and copies from such records) and the premises upon which any of the Collateral is located, to discuss the Grantor’s affairs with the officers of the Grantor and its independent accountants and to verify under reasonable procedures the validity, amount, quality, quantity, value, condition and status of, or any other matter relating to, the Collateral, including, in the case of collateral in the possession of any third Person, by contacting any account debtor or third Person possessing such Collateral for the purpose of making such a verification. Out-of-pocket expenses in connection with any inspections by representatives of the Secured Parties shall be (a) the obligations of the Grantor with respect to any inspection after the Secured Parties’ demand payment of the Notes or (b) the obligation of the Secured Parties in any other case.

  • Verification Procedure (1) The signature file of each processed file is validated. (2) If processed files are pieces of a bigger file, the latter is put together. (3) Each file obtained in the previous step is then decrypted and uncompressed. (4) Each data file contained in the previous step is then validated against the format defined in Part A, Section 9, reference 1 of this Specification. (5) If Part A, Section 9, reference 1 of this Specification includes a verification process, that will be applied at this step. If any discrepancy is found in any of the steps, the Deposit will be considered incomplete.

  • Tax Examinations Abroad 1. A Contracting Party may allow representatives of the competent authority of the other Contracting Party to enter the territory of the first-mentioned Party to interview individuals and examine records with the written consent of the persons concerned. The competent authority of the second-mentioned Party shall notify the competent authority of the first-mentioned Party of the time and place of the meeting with the individuals concerned. 2. At the request of the competent authority of one Contracting Party, the competent authority of the other Contracting Party may allow representatives of the competent authority of the first-mentioned Party to be present at the appropriate part of a tax examination in the second-mentioned Party. 3. If the request referred to in paragraph 2 is acceded to, the competent authority of the Contracting Party conducting the examination shall, as soon as possible, notify the competent authority of the other Party about the time and place of the examination, the authority or official designated to carry out the examination and the procedures and conditions required by the first-mentioned Party for the conduct of the examination. All decisions with respect to the conduct of the tax examination shall be made by the Party conducting the examination.

  • 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. b) In order to achieve this it is recommended that, in conjunction with the Site Management, Job Xxxxxxx and Safety Supervisor/Safety Committee, new employees and new employers be given an explanation of the following: ⮚ The Rights and Obligations of this Agreement including its disputes/grievance resolution procedures; ⮚ The appropriate issue of work clothing and safety equipment as per this Agreement; ⮚ Safety Rules and Procedures including relevant legislation; ⮚ Superannuation entitlements; ⮚ Long Service Leave provisions; ⮚ Redundancy Pay entitlements; ⮚ Site Emergency procedures; ⮚ Award or Enterprise Agreement rates of pay; ⮚ Site-specific matters such as security, etc. procedures; ⮚ Rights, obligations and benefits of union membership. c) The induction presentation and material shall have regard to the language skills of the employee/employer.

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

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