150 likes | 281 Views
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.
E N D
Proof Engines: The Next Big Software Advancement in System Development
Prover Technology • Market leader in industrial proof engines • Products for industrial applications : Prover CL & Prover SL • Powerfull • Easy to use • Versatil • Scalable
One Engine, Many Uses Validation Integration Extended Debugging Test Case Generation Regression EDA
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
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
Make Vs. Buy: Quality • Fully automatic • Robust and Scalable • Guaranteed correct results • Efficient code size and run-time use of memory Quality
Make Vs. Buy: Risk Management • Production proven • Industry track record • Documentation • Technical Support • Training and ConsultancyServices Risk Management
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
High Value for Tool Developers Customizable to your verification needs Gain push button automation Enter new markets & grow your business
Faster verification, with less manual intervention Ease of use Reduced time-to-market & verification effort Increased verification coverage Dramatic Results for End-users