1 / 15

The Next Big Software Advancement in System Development

Proof Engines:. The Next Big Software Advancement in System Development. Pro ver Technology. Market leader in industrial proof engines Products for industrial applications : Prover CL & Prover SL Powerfull Easy to use Versatil Scalable. A Proof Engine Plugs In.

sunila
Download Presentation

The Next Big Software Advancement in System Development

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Proof Engines: The Next Big Software Advancement in System Development

  2. Prover Technology • Market leader in industrial proof engines • Products for industrial applications : Prover CL & Prover SL • Powerfull • Easy to use • Versatil • Scalable

  3. A Proof Engine Plugs In

  4. One Engine, Many Uses Validation Integration Extended Debugging Test Case Generation Regression EDA

  5. Test Cases Test cases Test Cases Test Cases TEST CASES Test Cases Test Cases Test Cases The V cycle revisited Market request Req’s Validate Testing Specification Verify Design Verify Redesign Why do we test? Why do we test? • Quality of product • Confidence of product • Meet product requirements • … • Quality of product • Confidence of product • Meet product requirements • … Market Market Req’s Req’s Validate Validate Req’s Req’s Testing Testing Verify Verify Specification Specification Redesign Redesign Verify Verify Design Design Synthesise Synthesise Why do we test? • Quality of product • Confidence of product • Meet product requirements • … Market Req’s Validate Req’s Testing Verify Specification Redesign Verify Design Synthesise

  6. Verification by Proof: Fast, Automatic, Exhaustive

  7. A Proof Engine Improves the Design Flow

  8. Development Process

  9. Make Vs. Buy: Versatility • Easily customised • Easily integrated and tuned • User interface and database independent • Support multiple data types and data hierarchy • Application intelligent results • Flexible platform and OS support Versatility

  10. Make Vs. Buy: Quality • Fully automatic • Robust and Scalable • Guaranteed correct results • Efficient code size and run-time use of memory Quality

  11. Make Vs. Buy: Risk Management • Production proven • Industry track record • Documentation • Technical Support • Training and ConsultancyServices Risk Management

  12. Features & Benefits Prover SL & CL Fully automated reasoning for sequential systems Excellent track-record in real-world applications Capacity for the largest & most complex designs Easily tunable for application intelligent results Small object-code size & efficient use of memory User interface & database independence Flexible platform & OS support

  13. High Value for Tool Developers Customizable to your verification needs Gain push button automation Enter new markets & grow your business

  14. Faster verification, with less manual intervention Ease of use Reduced time-to-market & verification effort Increased verification coverage Dramatic Results for End-users

  15. SCADE Tool Environment

More Related