, Prob Sample Clauses

, Prob. 2 and Temporary Status (by second Friday in March) March 10, 2023 Permanent, (by last workday in April) April 28, 2023
AutoNDA by SimpleDocs
, Prob. Available in the workshop download, this is a tool from the University of Dusseldorf. It is most notable for being a multi-linguistic tool: it will analyse B, CSP, Z, Promela, and other languages. It offers animation (with tailored visualisations), refinement checking, LTL model-checking, and other kinds of analyses. Although there is no support for Circus, there is support for a related notation involving the combination of CSP and B specifications.
, Prob. The plugin proB has been used on a case study (San Xxxx metro system) provided by Siemens Transportation Systems. The result of the study described in 5.5 shows that proB is capable of dealing with large scale industrial models and is more efficient than AtelierB for dealing with large data sets and complex properties. About a man month of effort has been replaced by 17 minutes of computation. Furthermore, proB provides help in finding the faulty data when a property is not fulfilled. We believe we have established that the latest version of proB can therefore be used for debugging large industrial models. In order to overcome the challenges of this case study, various extensions had to be developed: a new parser, an integrated type checker, a new data structure for large sets and relations, and an improved constraint propagation algorithm. In the future, Siemens Transportation Systems plan to replace Atelier B by proB for this specific use (data proof regarding formal properties). STS and the University of Düsseldorf will validate proB in order to use it within the SIL4 development cycle at STS. We also plan to attack even bigger specifications such as the model of the Canarsie line (the complete B model of which contains 273,000 lines of B, up from 100,000 lines for Meteor).

Related to , Prob

  • Probes Network hosts used to perform (DNS, EPP, etc.) tests (see below) that are located at various global locations.

  • Diagnostic Assessment 6.3.1 Boards shall provide a list of pre-approved assessment tools consistent with their Board improvement plan for student achievement and which is compliant with Ministry of Education PPM (PPM 155: Diagnostic Assessment in Support of Student Learning, date of issue January 7, 2013). 6.3.2 Teachers shall use their professional judgment to determine which assessment and/or evaluation tool(s) from the Board list of preapproved assessment tools is applicable, for which student(s), as well as the frequency and timing of the tool. In order to inform their instruction, teachers must utilize diagnostic assessment during the school year.

  • Product ACCEPTANCE Unless otherwise provided by mutual agreement of the Authorized User and the Contractor, Authorized User(s) shall have thirty (30) days from the date of delivery to accept hardware products and sixty (60) days from the date of delivery to accept all other Product. Where the Contractor is responsible for installation, acceptance shall be from completion of installation. Failure to provide notice of acceptance or rejection or a deficiency statement to the Contractor by the end of the period provided for under this clause constitutes acceptance by the Authorized User(s) as of the expiration of that period. The License Term shall be extended by the time periods allowed for trial use, testing and acceptance unless the Commissioner or Authorized User agrees to accept the Product at completion of trial use. Unless otherwise provided by mutual agreement of the Authorized User and the Contractor, Authorized User shall have the option to run testing on the Product prior to acceptance, such tests and data sets to be specified by User. Where using its own data or tests, Authorized User must have the tests or representative set of data available upon delivery. This demonstration will take the form of a documented installation test, capable of observation by the Authorized User, and shall be made part of the Contractor’s standard documentation. The test data shall remain accessible to the Authorized User after completion of the test. In the event that the documented installation test cannot be completed successfully within the specified acceptance period, and the Contractor or Product is responsible for the delay, Authorized User shall have the option to cancel the order in whole or in part, or to extend the testing period for an additional thirty (30) day increment. Authorized User shall notify Contractor of acceptance upon successful completion of the documented installation test. Such cancellation shall not give rise to any cause of action against the Authorized User for damages, loss of profits, expenses, or other remuneration of any kind. If the Authorized User elects to provide a deficiency statement specifying how the Product fails to meet the specifications within the testing period, Contractor shall have thirty (30) days to correct the deficiency, and the Authorized User shall have an additional sixty (60) days to evaluate the Product as provided herein. If the Product does not meet the specifications at the end of the extended testing period, Authorized User, upon prior written notice to Contractor, may then reject the Product and return all defective Product to Contractor, and Contractor shall refund any monies paid by the Authorized User to Contractor therefor. Costs and liabilities associated with a failure of the Product to perform in accordance with the functionality tests or product specifications during the acceptance period shall be borne fully by Contractor to the extent that said costs or liabilities shall not have been caused by negligent or willful acts or omissions of the Authorized User’s agents or employees. Said costs shall be limited to the amounts set forth in the Limitation of Liability Clause for any liability for costs incurred at the direction or recommendation of Contractor.

  • API If the Software offers integration capabilities via an API, your use of the API may be subject to additional costs or Sage specific policies and terms and conditions (which shall prevail in relation to your use of the API). You may not access or use the API in any way that could cause damage to us or the Software, or in contravention of any applicable laws. We reserve the right in our sole discretion, to: (i) update any API from time to time; (ii) place limitations around your use of any API; and (iii) deny you access to any API in the event of misuse by you or to otherwise protect our legitimate interests.

  • TECHNICAL EVALUATION (a) Detailed technical evaluation shall be carried out by Purchase Committee pursuant to conditions in the tender document to determine the substantial responsiveness of each tender. For this clause, the substantially responsive bid is one that conforms to all the eligibility and terms and condition of the tender without any material deviation. The Institute’s determination of bid’s responsiveness is to be based on the contents of the bid itself without recourse to extrinsic evidence. The Institute shall evaluate the technical bids also to determine whether they are complete, whether required sureties have been furnished, whether the documents have been properly signed and whether the bids are in order. (b) The technical evaluation committee may call the responsive bidders for discussion or presentation to facilitate and assess their understanding of the scope of work and its execution. However, the committee shall have sole discretion to call for discussion / presentation. (c) Financial bids of only those bidders who qualify the technical criteria will be opened provided all other requirements are fulfilled. (d) AIIMS Jodhpur shall have right to accept or reject any or all tenders without assigning any reasons thereof.

  • Laboratory Testing All laboratories selected by UPS Freight for analyzing Controlled Substances Testing will be HHS certified.

  • Quantitative Analysis Quantitative analysts develop and apply financial models designed to enable equity portfolio managers and fundamental analysts to screen potential and current investments, assess relative risk and enhance performance relative to benchmarks and peers. To the extent that such services are to be provided with respect to any Account which is a registered investment company, Categories 3, 4 and 5 above shall be treated as “investment advisory services” for purposes of Section 5(b) of the Agreement.”

  • Development Diligence Pfizer will use its Commercially Reasonable Efforts to Develop and seek Regulatory Approval for [ * ] Product [ * ] in the Field [ * ]. Pfizer will [ * ] with respect to the Development or Regulatory Approval of Products under this Agreement.

  • Development Phase contractual phase initiated with the approval of ANP for the Development Plan and which is extended during the Production Phase while investments in xxxxx, equipment, and facilities for the Production of Oil and Gas according to the Best Practices of the Oil Industry are required.

  • Testing Landlord shall have the right to conduct annual tests of the Premises to determine whether any contamination of the Premises or the Project has occurred as a result of Tenant’s use. Tenant shall be required to pay the cost of such annual test of the Premises; provided, however, that if Tenant conducts its own tests of the Premises using third party contractors and test procedures acceptable to Landlord which tests are certified to Landlord, Landlord shall accept such tests in lieu of the annual tests to be paid for by Tenant. In addition, at any time, and from time to time, prior to the expiration or earlier termination of the Term, Landlord shall have the right to conduct appropriate tests of the Premises and the Project to determine if contamination has occurred as a result of Tenant’s use of the Premises. In connection with such testing, upon the request of Landlord, Tenant shall deliver to Landlord or its consultant such non-proprietary information concerning the use of Hazardous Materials in or about the Premises by Tenant or any Tenant Party. If contamination has occurred for which Tenant is liable under this Section 30, Tenant shall pay all costs to conduct such tests. If no such contamination is found, Landlord shall pay the costs of such tests (which shall not constitute an Operating Expense). Landlord shall provide Tenant with a copy of all third party, non-confidential reports and tests of the Premises made by or on behalf of Landlord during the Term without representation or warranty and subject to a confidentiality agreement. Tenant shall, at its sole cost and expense, promptly and satisfactorily remediate any environmental conditions identified by such testing in accordance with all Environmental Requirements. Landlord’s receipt of or satisfaction with any environmental assessment in no way waives any rights which Landlord may have against Tenant.

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