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 This Grant Contract is complete and contains the entire understanding between the parties relating to the subject matter contained herein, including all the terms and conditions of the parties’ agreement. This Grant Contract supersedes any and all prior understandings, representations, negotiations, and agreements between the parties relating hereto, whether written or oral.

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

  • Electronic and Information Resources Accessibility and Security Standards a. Applicability: The following Electronic and Information Resources (“EIR”) requirements apply to the Contract because the Grantee performs services that include EIR that the System Agency's employees are required or permitted to access or members of the public are required or permitted to access. This Section does not apply to incidental uses of EIR in the performance of the Agreement, unless the Parties agree that the EIR will become property of the State of Texas or will be used by HHSC’s clients or recipients after completion of the Agreement. Nothing in this section is intended to prescribe the use of particular designs or technologies or to prevent the use of alternative technologies, provided they result in substantially equivalent or greater access to and use of a Product.

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

  • Accuracy If the data importer becomes aware that the personal data it has received is inaccurate, or has become outdated, it shall inform the data exporter without undue delay. In this case, the data importer shall cooperate with the data exporter to erase or rectify the data.

  • Errors, Questions, and Complaints a. In case of errors or questions about your transactions, you should as soon as possible contact us as set forth in Section 6 of the General Terms above. b. If you think your periodic statement for your account is incorrect or you need more information about a transaction listed in the periodic statement for your account, we must hear from you no later than sixty (60) days after we send you the applicable periodic statement for your account that identifies the error. You must: 1. Tell us your name; 2. Describe the error or the transaction in question, and explain as clearly as possible why you believe it is an error or why you need more information; and, 3. Tell us the dollar amount of the suspected error. c. If you tell us orally, we may require that you send your complaint in writing within ten (10) Business Days after your oral notification. Except as described below, we will determine whether an error occurred within ten (10) Business Days after you notify us of the error. We will tell you the results of our investigation within three (3) Business Days after we complete our investigation of the error, and will correct any error promptly. However, if we require more time to confirm the nature of your complaint or question, we reserve the right to take up to forty-five (45) days to complete our investigation. If we decide to do this, we will provisionally credit your Eligible Transaction Account within ten (10) Business Days for the amount you think is in error. If we ask you to submit your complaint or question in writing and we do not receive it within ten (10) Business Days, we may not provisionally credit your Eligible Transaction Account. If it is determined there was no error we will mail you a written explanation within three (3) Business Days after completion of our investigation. You may ask for copies of documents used in our investigation. We may revoke any provisional credit provided to you if we find an error did not occur.

  • Completeness of Agreement This Agreement constitutes the entire understanding of the parties and any changes shall be agreed to in writing.

  • Warranty Affirmations Assurances and Certifications 12 5.1 WARRANTY 12 5.2 General Affirmations 12 5.3 Federal Assurances 12 5.4 Federal Certifications 12 5.5 State Assurances 12 ARTICLE VI. Intellectual Property 13

  • Completeness and Contents of Instructions The Authorized Person shall be responsible for assuring the adequacy and accuracy of Instructions. Particularly, upon any acquisition or disposition or other dealing in the Fund's Investments and upon any delivery and transfer of any Investment or moneys, the person initiating the Instruction shall give the Custodian an Instruction with appropriate detail, including, without limitation: 4.3.1 The transaction date and the date and location of settlement; 4.3.2 The specification of the type of transaction; 4.3.3 A description of the Investments or moneys in question, including, as appropriate, quantity, price per unit, amount of money to be received or delivered and currency information. Where an Instruction is communicated by electronic means, or otherwise where an Instruction contains an identifying number such as a CUSIP, SEDOL or ISIN number, the Custodian shall be entitled to rely on such number as controlling notwithstanding any inconsistency contained in the Instruction, particularly with respect to Investment description; and 4.3.4 The name of the broker or similar entity concerned with execution of the transaction. If the Custodian determines that an Instruction is either unclear or incomplete, the Custodian may give prompt notice of such determination to the Fund, and the Fund shall thereupon amend or otherwise reform the Instruction. In such event, the Custodian shall have no obligation to take any action in response to the Instruction initially delivered until the redelivery of an amended or reformed Instruction.

  • Verifying compliance Microsoft may, in its discretion and at its expense, verify compliance with this Enrollment as set forth in the Enterprise Agreement.

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