Invariants for the SSE Sample Clauses

Invariants for the SSE. ‌ The requirements of the SSE are translated to invariants that will be proven in the Event-B model. The idea is to have invariants before starting mod- xxxxxx the SSE in Event-B. They are captured in a separate document. We start with an example of such an invariant:
AutoNDA by SimpleDocs

Related to Invariants for the SSE

  • Representations and warranties of the Contractor (i) The Contractor represents and warrants to the Authority that:

  • Representations and Warranties of the Seller The Seller hereby represents and warrants to the Purchaser as follows:

  • REPRESENTATIONS AND WARRANTIES OF THE SELLERS Each of the Sellers, jointly and severally, represents and warrants to the Buyer as follows:

  • Representations and Warranties of the Sponsor The Sponsor hereby represents and warrants to the Owner Trustee that:

  • Representations and Warranties by the Selling Shareholder The Selling Shareholder represents and warrants to, and agrees with, the Company, the Winning Bidder(s) and each Placement Agent at each Representation Date as follows:

  • Reliance by the State on Representations All payments by the State under this Agreement will be made in reliance upon the accuracy of all representations made by the Party in accordance with this Agreement, including but not limited to bills, invoices, progress reports and other proofs of work.

  • Representations and Warranties of the Shareholder The Shareholder hereby represents and warrants to the Company as follows:

  • Representation by Engineer The Engineer represents that its firm has no conflict of interest that would in any way interfere with its or its employees’ performance of services for the department or which in any way conflicts with the interests of the department. The Engineer further certifies that this agreement is not barred because of a conflict of interest pursuant to Texas Government Code, Section 2261.252, between it and the State. Specifically, the Engineer certifies that none of the following individuals, nor any or their family members within the second degree of affinity or consanguinity, owns 1% or more interest, or has a financial interest as defined under Texas Government Code, Section 2261.252(b), in the Engineer: any member of the Texas Transportation Commission, TxDOT’s Executive Director, General Counsel, Chief of Procurement and Field Support Operations, Director of Procurement, or Director of Contract Services. The firm shall exercise reasonable care and diligence to prevent any actions or conditions that could result in a conflict with the department's interests.

  • Representations and Warranties by the Company The Company represents and warrants to each Underwriter as of the date hereof, the Applicable Time, the Closing Time (as defined below) and any Date of Delivery (as defined below), and agrees with each Underwriter, as follows:

  • Warranties of Seller With respect to each Transaction, Seller represents and warrants to Buyer on the Trade Date for each Product that such Product complies with any Applicable Program for which the Product is specified as so complying in the Product Order, and on the Delivery Date for each Product that: (i) Seller has good and marketable title to such Product; (ii) Seller has not sold the Product or any Environmental Attribute of the Product to be transferred to Buyer to any other person or entity;

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