Probabilities and failures Sample Clauses

Probabilities and failures. It appeared quite quickly that proving safety (or availability) properties without any failure is pointless, since in that case we can only prove that the system is safe...providing nothing wrong happens! It is therefore needed to model failures. But then, some proof obligations (safety properties after a failure) cannot be discharged any more. To prove these properties, it appeared that probabilities had to be added in the model. An experiment has been performed on the minipilot to add probabilities, with success.
AutoNDA by SimpleDocs

Related to Probabilities and failures

  • Adverse Circumstances No condition, circumstance, event, agreement, document, instrument, restriction, litigation or proceeding (or threatened litigation or proceeding or basis therefor) exists which: (i) would have a Material Adverse Effect upon Debtor; or (ii) would constitute an Event of Default or an Unmatured Event of Default.

  • Investigation of Accidents The Occupational Health and Safety Committees, as provided in Clause 22.2, shall be notified of each accident or injury and shall investigate and report to the Union and Employer on the nature and cause of the accident or injury. In the event of a fatality the Employer shall immediately notify the President of the nature and circumstances of the accident.

  • No Undisclosed Events, Liabilities, Developments or Circumstances No event, liability, development or circumstance has occurred or exists, or is reasonably expected to exist or occur with respect to the Company, any of its Subsidiaries or any of their respective businesses, properties, liabilities, prospects, operations (including results thereof) or condition (financial or otherwise), that (i) would be required to be disclosed by the Company under applicable securities laws on a registration statement on Form S-1 filed with the SEC relating to an issuance and sale by the Company of its Common Stock and which has not been publicly announced, (ii) could have a material adverse effect on any Buyer’s investment hereunder or (iii) could have a Material Adverse Effect.

  • Adverse Events Subsequent to the date hereof, there shall not have occurred any of the following: (i) a suspension or material limitation in trading in securities generally on the New York Stock Exchange, the NASDAQ National Market or the NASDAQ Global Market, (ii) a general moratorium on commercial banking activities in the People’s Republic of China or New York, (iii) the outbreak or escalation of hostilities involving the United States or the People’s Republic of China or the declaration by the United States or the People’s Republic of China of a national emergency or war if the effect of any such event specified in this clause (iii) in your reasonable judgment makes it impracticable or inadvisable to proceed with the public offering or the delivery of the Shares on the terms and in the manner contemplated in the Prospectus, or (iv) such a material adverse change in general economic, political, financial or international conditions affecting financial markets in the United States or the People’s Republic of China having a material adverse impact on trading prices of securities in general, as, in your reasonable judgment, makes it impracticable or inadvisable to proceed with the public offering of the Shares or the delivery of the Shares on the terms and in the manner contemplated in the Prospectus.

  • Grievance Investigations Where an employee has asked or is obliged to be represented by the Institute in relation to the presentation of a grievance and an employee acting on behalf of the Institute wishes to discuss the grievance with that employee, the employee and the representative of the employee will, where operational requirements permit, be given reasonable leave with pay for this purpose when the discussion takes place in the headquarters area of such employee and leave without pay when it takes place outside the headquarters area of such employee.

  • FLORIDA CONVICTED/SUSPENDED/DISCRIMINATORY COMPLAINTS By submission of an offer, the respondent affirms that it is not currently listed in the Florida Department of Management Services Convicted/Suspended/Discriminatory Complaint Vendor List.

  • Material Changes; Undisclosed Events, Liabilities or Developments Since the date of the latest audited financial statements included within the SEC Reports, except as set forth on Schedule 3.1(i), (i) there has been no event, occurrence or development that has had or that could reasonably be expected to result in a Material Adverse Effect, (ii) the Company has not incurred any liabilities (contingent or otherwise) other than (A) trade payables and accrued expenses incurred in the ordinary course of business consistent with past practice and (B) liabilities not required to be reflected in the Company’s financial statements pursuant to GAAP or disclosed in filings made with the Commission, (iii) the Company has not altered its method of accounting, (iv) the Company has not declared or made any dividend or distribution of cash or other property to its stockholders or purchased, redeemed or made any agreements to purchase or redeem any shares of its capital stock and (v) the Company has not issued any equity securities to any officer, director or Affiliate, except pursuant to existing Company stock option plans. The Company does not have pending before the Commission any request for confidential treatment of information. Except for the issuance of the Securities contemplated by this Agreement or as set forth on Schedule 3.1(i), no event, liability, fact, circumstance, occurrence or development has occurred or exists or is reasonably expected to occur or exist with respect to the Company or its Subsidiaries or their respective businesses, prospects, properties, operations, assets or financial condition that would be required to be disclosed by the Company under applicable securities laws at the time this representation is made or deemed made that has not been publicly disclosed at least 1 Trading Day prior to the date that this representation is made.

  • Adverse Event Reporting Both Parties acknowledge the obligation to comply with the Protocol and / or applicable regulations governing the collection and reporting of adverse events of which they may become aware during the course of the Clinical Trial. Both Parties agree to fulfil and ensure that their Agents fulfil regulatory requirements with respect to the reporting of adverse events.

  • Complaints Investigation The employee who complains of harassment under the provisions of the Human Rights Code must first comply with the Employer’s harassment policy procedures before filing a grievance or human rights complaint.

  • Hazardous Materials Activities, Etc Each Credit Party shall promptly take, and shall cause each of its Subsidiaries promptly to take, any and all actions necessary to (i) cure any violation of applicable Environmental Laws by such Credit Party or its Subsidiaries that could reasonably be expected to have, individually or in the aggregate, a Material Adverse Effect, and (ii) make an appropriate response to any Environmental Claim against such Credit Party or any of its Subsidiaries and discharge any obligations it may have to any Person thereunder where failure to do so could reasonably be expected to have, individually or in the aggregate, a Material Adverse Effect.

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