Evaluation of the ProB Constraint Solver Sample Clauses

Evaluation of the ProB Constraint Solver. Various industrial applications have shown the need for improved constraint-solving capabilities (see CBC Deadlock, Test-Case Generation). In order to evaluate ProB, and detect areas for improvement, we have studied to what extent classical constraint satisfaction problems can be conveniently expressed as B predicates, and then solved by ProB. In particular, we have studied problems such as the n-Queens problem, graph colouring, graph isomorphism detection, time tabling, Sudoku, Hanoi, magic squares, Alphametic puzzles, and several more. We have then compared the performance with respect to other tools, such as the model checker TLC for TLA+, AnimB for Event-B, and Alloy. The experiments show that some constraint satisfaction problems can be expressed very conveniently in B and solved very effectively with ProB. For example, TLC takes 8747 seconds (2 hours 25 minuts) to solve the 9-queens problem expressed as a logical predicate; Alloy 4.1.10 with minisat takes 0.406 seconds, ProB 1.3.3 takes 0.01 seconds. For 32 queens, ProB 1.3.3 takes 0.28 seconds, while Alloy 4.1.10 with minisat takes over 4 minutes (TLC was only able to solve the n-queens problem up until n=9, or n=14 when reformulating the problem as a model checking problem rather than a constraint-solving problem). In another small experiment, we checked whether two graphs with 9 nodes of out-degree exactly one are isomorphic by checking for the existence of a permutation which preserved the graph structure. TLC finds a permutation after 2 hours 6 minutes and 28 seconds; ProB 1.3.3 takes 0.01 seconds to find the same solution, while Xxxxx takes 0.11 seconds with SAT4J and 0.05 seconds with minisat. For some other examples (in particular time-tabling) involving operators such as the relational image, the performance of ProB is still sub-optimal with respect to, e.g., Alloy; we plan to overcome this shortcoming in the future. Our long term goal is that B can not only be used to as a formal method for developing safety critical software, but also as a high-level constraint programming language.
AutoNDA by SimpleDocs

Related to Evaluation of the ProB Constraint Solver

  • Cooperation of the Parties The Seller undertakes to notify the Buyer of any obstacles on his part, which may negatively influence proper and timely delivery of the Equipment.

  • Execution of the Project (a) The Recipient declares its commitment to the objectives of the Project as set forth in Schedule 2 to this Agreement, and, to this end, shall carry out the Project through its MoE with due diligence and efficiency and in conformity with appropriate financial, economic, environmental and administrative practices, and shall provide, promptly as needed, the funds, facilities, services and other resources required for the Project. (b) Without limitation upon the provisions of paragraph (a) of this Section and except as the Recipient and the Association shall otherwise agree, the Recipient shall carry out the Project in accordance with the Implementation Program set forth in Schedule 4 to this Agreement. (a) Except as the Association shall otherwise agree, procurement of the goods, works and consultants’ services required for the Project and to be financed out of the proceeds of the Grant shall be governed by the provisions of Schedule 3 to this Agreement, as said provisions may be further elaborated in the Procurement Plan. (b) The Recipient shall update the Procurement Plan in accordance with terms of reference acceptable to the Association, and furnish such update to the Association not later than twelve (12) months after the date of the preceding Procurement Plan, for the Association’s approval. Section 3.03. Without limitation upon any of its obligations under paragraph (a) of Section 3.01 of this Agreement and except as the Recipient and the Association shall otherwise agree, the Recipient shall: (i) not later than by the effectiveness of this Agreement open a separate project account (the Project Account) in a commercial bank acceptable to the Association; (ii) thereafter maintain the Project Account during the entire Project implementation period, and replenish said Account regularly with funds sufficient to ensure the Recipient’s Project co-financing obligations; and (iii) use the amount in the Project Account exclusively for financing the Recipient’s contribution to Project expenditures. Section 3.04. For the purposes of Section 6.09 of the General Conditions and without limitation thereto, the Recipient shall: (a) prepare, on the basis of guidelines acceptable to the Association, and furnish to the Association not later than six (6) months after the Closing Date or such later date as may be agreed for this purpose between the Recipient and the Association, a plan designed to ensure the continued achievement of the Project’s objectives; and (b) afford the Association a reasonable opportunity to exchange views with the Recipient on said plan.

  • Relation of the Parties No Beneficiary. No term, provision or requirement, whether express or implied, of any Loan Document, or actions taken or to be taken by any party thereunder, shall be construed to create a partnership, association, or joint venture between such parties or any of them. No term or provision of any Loan Document shall be construed to confer a benefit upon, or grant a right or privilege to, any Person other than the parties hereto.

  • INFORMATION OF THE PARTIES Information of the Company Information of the Lessees

  • SUPERVISION AND CONSTRUCTION PROCEDURES 4.3.1 The Contractor shall supervise and direct the Work, using his / her best skill and attention. The Contractor shall be solely responsible for all construction means, methods, techniques, sequences and procedures and for coordinating all portions of the Work under the Contract. All aspects of the Project shall be subject to the inspection and approval of the State. Contractor guarantees to repair, replace, re-execute or otherwise correct any defect in workmanship, materials, or the like that fails to conform to the requirements of this Contract or that appears during the progress of the Work or within one year of final acceptance by the State. 4.3.2 The Contractor shall be responsible to the State for the acts and omissions of his / her employees, Subcontractors and their agents and employees, and other persons performing any of the Work under a contract with the Contractor. 4.3.3 The Contractor shall not be relieved from his / her obligations to perform the Work in accordance with the Contract Documents either by the activities or duties of the Architect in his / her administration of the Contract, or by inspections, tests or approvals required or performed under Paragraph 7.7 by persons other than the Contractor. 4.3.4 The Contractor shall acquaint himself (herself / itself) with the limits of the property or right- of-way of the State and shall not trespass on other property. The Contractor shall adequately protect the project, adjacent property and the public, and shall be responsible for any damage or injury due to the Contractor’s act or neglect, and shall save the State harmless in respect thereto. 4.3.5 All work shall be done in such a manner as not to interfere with the State’s operating functions. Contractor and his employees shall familiarize themselves and comply with all rules and regulations applicable to the project. 4.3.6 The Contractor shall keep the premises free from liens arising out of or from the Project. Contractor shall obtain and submit waivers of liens with a request for a progress or final payment.

  • Construction of the Project Highway (i) The Contractor shall construct the Project Highway as specified in Schedule- B and Schedule-C, and in conformity with the Specifications and Standards set forth in Schedule-D. The Contractor shall be responsible for the correct positioning of all parts of the Works, and shall rectify any error in the positions, levels, dimensions or alignment of the Works. The [650th (six hundred and fiftieth) day] from the Appointed Date shall be the scheduled completion date (the “Scheduled Completion Date”) and the Contractor agrees and undertakes that the construction shall be completed on or before the Scheduled Completion Date, including any extension thereof. (ii) The Contractor shall construct the Project Highway in accordance with the Project Completion Schedule set forth in Schedule-J. In the event that the Contractor fails to achieve any Project Milestone or the Scheduled Completion Date within a period of 30 (thirty) days from the date set forth in Schedule-J, unless such failure has occurred due to Force Majeure or for reasons solely attributable to the Authority, it shall pay Damages to the Authority of a sum calculated at the rate of 0.05% (zero point zero five percent) of the Contract Price for delay of each day reckoned from the date specified in Schedule –J and until such Project Milestone is achieved or the Project Highway is completed; provided that if the period for any or all Project Milestones or the Scheduled Completion Date is extended in accordance with the provisions of this Agreement, the dates set forth in Schedule-J shall be deemed to be modified accordingly and the provisions of this Agreement shall apply as if Schedule-J has been amended as above; provided further that in the event the Project Highway is completed within or before the Scheduled Completion Date including any Time Extension, applicable for that work or section, the Damages paid under this Clause 10.3 (ii) shall be refunded by the Authority to the Contractor, but without any interest thereon. The Parties agree that for determining achievement or delays in completion of the Project Milestones or the Project on the due date, the works affected due to delay in providing the site for which time extension has been granted beyond the Scheduled Completion Date will be excluded. For example on the due date to achieve the Project Milestone-I (i.e., Stage Payments of 10% (ten percent) of Contract Price on 180th (one hundred and eighty) day from the Appointed Date), if 5% (five percent) of the project length corresponding to the Project Milestone-I is not handed over or lately handed over resulting in the extension of completion of this 5% (five percent) length beyond Scheduled Completion Date, Stage Payment of 10% X 0.95 = 9.5% only is to be achieved by 180th (one hundred and eighty) day. For the avoidance of doubt, it is agreed that recovery of Damages under this Clause 10.3 (ii) shall be without prejudice to the rights of the Authority under this Agreement including the right of Termination thereof. The Parties further agree that Time Extension hereunder shall only be reckoned for and in respect of the affected Works as specified in Clause 10.5 (ii). (iii) The Authority shall notify the Contractor of its decision to impose Damages in pursuance with the provisions of this Clause 10.3. Provided that no deduction on account of Damages shall be effected by the Authority without notifying the Contractor of its decision to impose the Damages, and taking into consideration the representation, if any, made by the Contractor within 20 (twenty) days of such notice. The Parties expressly agree that the total amount of Damages under Clause 10.3 (ii) shall not exceed 10% (ten percent) of the Contract Price. If the damages exceed 10% (ten percent) of the Contract Price, the Contractor shall be deemed to be in default of this agreement having no cure and the Authority shall be entitled to terminate this Agreement by issuing a Termination Notice in accordance with the provisions of Clause 23.1 (ii). (iv) In the event that the Contractor fails to achieve the Project Completion within a period of 90 (ninety) days from the Schedule Completion Date set forth in Schedule-J, unless such failure has occurred due to Force Majeure or for reasons solely attributable to the Authority, the contractor shall be deemed to be ineligible for bidding any future projects of the Authority, both as the sole party or as one of the parties of Joint Venture/ Consortium during the period from Scheduled Completion Date to issuance of Completion Certificate. This restriction is applicable if the contract value of the delayed project is not less than Rs. 300 Crore.

  • Information and Services Required of the Owner The Owner shall provide information with reasonable promptness, regarding requirements for and limitations on the Project, including a written program which shall set forth the Owner’s objectives, constraints, and criteria, including schedule, space requirements and relationships, flexibility and expandability, special equipment, systems, sustainability and site requirements.

  • Operation of the Property Between June 1, 1998 and the Closing Date, Seller shall (a) lease, operate, manage and enter into contracts with respect to the Property, in the same manner done by Seller prior to the date hereof (provided, however, that without the prior consent of Purchaser, which as to (i) and (ii) shall not be unreasonably delayed, conditioned or withheld, (i) Seller shall not enter into any Service Contract that cannot be terminated with thirty (30) days notice or materially modify any existing Service Contracts to be assumed by Purchaser at Closing, and (ii) after June 1, 1998, Seller shall not materially modify or terminate any existing Tenant Lease or grant any material consents under any existing Tenant Lease (except as otherwise required pursuant to the terms and conditions of such Tenant Lease), or enter into any new Tenant Lease, and (iii) Seller shall not apply any then unapplied Deposits (as reflected on the Rent Roll delivered by Seller to Purchaser pursuant to Schedule 5.3(vii) hereof) under Tenant Leases); and (b) advise Purchaser of the commencement of any litigation, condemnation or other judicial or administrative proceedings affecting the Property of which Seller has current actual knowledge. Notwithstanding anything to the contrary set forth in this Contract, Purchaser acknowledges that after June 1, 1998 and prior to Closing, Seller will enter into contracts for the completion of Tenant improvements under Tenant Leases entered into after June 1, 1998 pursuant to the terms of Section 12.1 hereof (collectively, the "Tenant Finish Contracts"). Purchaser and Seller agree that at Closing, Purchaser shall assume the obligations of Seller under all such Tenant Finish Contracts including, without limitation, the obligations to pay any costs and expenses charged with respect to construction of improvements in the space subject to such Tenant Leases. At Closing, Purchaser shall execute and deliver to the Seller an Assignment, Assumption and Indemnity Agreement in the form attached hereto as Exhibit H and made a part hereof for all purposes.

  • Upon completion of the Project the Recipient shall make a full and complete accounting to the OPWC of the Eligible Project Cost.

  • Interconnection Facilities Engineering Procurement and Construction Interconnection Facilities, Network Upgrades, and Distribution Upgrades shall be studied, designed, and constructed pursuant to Good Utility Practice. Such studies, design and construction shall be based on the assumed accuracy and completeness of all technical information received by the Participating TO and the CAISO from the Interconnection Customer associated with interconnecting the Large Generating Facility.

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