Satisfiability and completeness Sample Clauses

Satisfiability and completeness. ‌ The traces of a test specification’s trace semantics describe the behavior that we expect from the unit under test and thus determines what we want to test. But a test which cannot be passed by any program is useless. Therefore, a specification should always describe only traces with incoming communication that is indeed implementable by a program of the programming language. Before we formalize this feature it is important to realize that a change of the viewpoint is involved: in the specification the expected behavior is given in terms of incoming commu- nication carried out by an (absent) external component. In contrast, saying that a program should exist which shows the desired behavior means that the communi- cation shows up in terms of outgoing communication within the semantics of the program. Thus, in order to formalize the satisfiability requirement, we use the dual of a given trace t, denoted by t¯, where in each label question marks and exclamation marks are exchanged, such that each incoming communication label becomes an outgoing communication label and vice versa. Lemma 3.7.1 (Satisfiability): Let s be a specification of our test specification language with ∆ € s : Θ. Then for every trace t ∈ [[∆ € s : Θ]] there exists a Japl program p such that Θ € p : ∆ and t¯ ∈ [[Θ € p : ∆]]. Note, that executability requires the existence of a single program, whereas satisfiability involves the existence of a program for each trace. This is a conse- quence of the input non-determinism introduced by the formal parameters in the incoming communication terms. That is, allowing different incoming values means also allowing different components to pass the test. The completeness requirement demands that each possible behavior of a Japl component can be formulated as a desired behavior in terms of a specification of the test specification language.
AutoNDA by SimpleDocs

Related to Satisfiability and completeness

  • Completeness The Work contained all of the attributes and elements required by this Agreement; and

  • Accuracy and Completeness of Information No written information, report or other papers or data (excluding financial projections and other forward looking statements) furnished to the Agent or any Lender by, on behalf of, or at the direction of, the Borrower, any other Obligor or any of their respective Subsidiaries in connection with or relating in any way to this Agreement, contained any untrue statement of a fact material to the creditworthiness of the Borrower, any other Obligor or any of their respective Subsidiaries or omitted to state a material fact necessary in order to make such statements contained therein, in light of the circumstances under which they were made, not misleading. The written information, reports and other papers and data with respect to the Borrower, any other Obligor or any of their respective Subsidiaries or the Unencumbered Assets (other than projections and other forward-looking statements) furnished to the Agent or the Lenders in connection with or relating in any way to this Agreement was, at the time so furnished, complete and correct in all material respects, or has been subsequently supplemented by other written information, reports or other papers or data, to the extent necessary to give in all material respects a true and accurate knowledge of the subject matter. All financial statements furnished to the Agent or any Lender by, on behalf of, or at the direction of, the Borrower, any other Obligor or any of their respective Subsidiaries in connection with or relating in any way to this Agreement, present fairly, in accordance with GAAP consistently applied throughout the periods involved, the financial position of the Persons involved as at the date thereof and the results of operations for such periods. All financial projections and other forward looking statements prepared by, or on behalf of the Borrower, any other Obligor or any of their respective Subsidiaries that have been or may hereafter be made available to the Agent or any Lender were or will be prepared in good faith based on reasonable assumptions. No fact or circumstance is known to the Borrower which has had, or may in the future have (so far as the Borrower can reasonably foresee), a Material Adverse Effect which has not been set forth in the financial statements referred to in Section 6.1(k) or in such information, reports or other papers or data or otherwise disclosed in writing to the Agent and the Lenders prior to the Effective Date.

  • ACCURACY OF REPRESENTATIONS AND WARRANTIES AND COMPLIANCE WITH OBLIGATIONS The representations and warranties of Purchaser contained in this Agreement shall be true and correct in all material respects at and as of the Closing Date with the same force and effect as though made at and as of that time except: (i) for changes specifically permitted by or disclosed pursuant to this Agreement; and (ii) that those representations and warranties which address matters only as of a particular date shall remain true and correct as of such date. Purchaser shall have performed and complied in all material respects with all of its obligations required by this Agreement to be performed or complied with at or prior to the Closing Date. Purchaser shall have delivered to the Sellers a certificate, dated as of the Closing Date, and signed by an executive officer thereof, certifying that such representations and warranties are true and correct, and that all such obligations have been performed and complied with, in all material respects.

  • Representations Complete None of the representations or warranties made by the Company herein or in any Schedule hereto, including the Company Disclosure Schedule, or in any certificate furnished by the Company pursuant to this Agreement, when all such documents are read together in their entirety, contains or will contain upon the consummation of the Offer any untrue statement of a material fact, or omits or will omit upon the consummation of the Offer to state any material fact necessary in order to make the statements contained herein or therein, in the light of the circumstances under which made, not misleading.

  • Representations and Warranties; Compliance with Conditions The representations and warranties of Borrower contained in this Agreement and the other Loan Documents shall be true and correct in all material respects on and as of the Closing Date with the same effect as if made on and as of such date, and no Default or an Event of Default shall have occurred and be continuing; and Borrower shall be in compliance in all material respects with all terms and conditions set forth in this Agreement and in each other Loan Document on its part to be observed or performed.

  • Certification of Accuracy The following parties have reviewed the information above and certify, to the best of their knowledge, that the information they have provided is true and accurate. Landlord's Signature Date: Print Name: Tenant’s Signature Date: Print Name: Tenant’s Signature Date: Print Name: Agent’s Signature Date:

  • Inspection; Compliance with Law Lessor, Lessor's agents, employees, contractors and designated representatives, and the holders of any mortgages, deeds of trust or ground leases on the Premises ("Lenders") shall have the right to enter the Premises at any time in the case of an emergency, and otherwise at reasonable times, for the purpose of inspecting the condition of the Premises and for verifying compliance by Lessee with this Lease and all Applicable Requirements (as defined in Paragraph 6.3), and Lessor shall be entitled to employ experts and/or consultants in connection therewith to advise Lessor with respect to Lessee's activities, including but not limited to Lessee's installation, operation, use, monitoring, maintenance, or removal of any Hazardous Substance on or from the Premises. The costs and expenses of any such inspections shall be paid by the party requesting same, unless a Default or Breach of this Lease by Lessee or a violation of Applicable Requirements or a contamination, caused or materially contributed to by Lessee, is found to exist or to be imminent, or unless the inspection is requested or ordered by a governmental authority as the result of any such existing or imminent violation or contamination. In such case, Lessee shall upon request reimburse Lessor or Lessor's Lender, as the case may be, for the costs and expenses of such inspections.

  • Representations and Warranties True and Correct The representations and warranties of the Borrower contained in the Credit Agreement, as amended hereby, are true and correct on and as of the date hereof as though made on and as of the date hereof, except to the extent that such representations and warranties expressly relate to a specified date, in which case such representations and warranties are hereby reaffirmed as true and correct when made.

  • Representations and Warranties Complete The representations and warranties of the Company included in this Agreement and any list, statement, document or information set forth in, or attached to, any Schedule provided pursuant to this Agreement or delivered hereunder, are true and complete in all material respects and do not contain any untrue statement of a material fact or omit to state a material fact required to be stated therein or necessary to make the statements contained therein not misleading, under the circumstance under which they were made.

  • Accuracy of the Company’s Representations and Warranties Each of the representations and warranties of the Company in this Agreement and the other Transaction Documents that are qualified by materiality or by reference to any Material Adverse Effect shall be true and correct in all respects, and all other representations and warranties shall be true and correct in all material respects, as of the date when made and as of the Closing Date as though made at that time, except for representations and warranties that are expressly made as of a particular date, which shall be true and correct in all respects as of such date.

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