Formal Verification for Model-Based Development
Modern electronic systems bring many benefits to consumers, delivering new levels of functionality and safety in automotive, aerospace, health care and other applications. Yet managing the complexity of these systems also presents a significant challenge to the companies verifying them. Verification with testing can consume a huge slice of the development costs, without providing full confidence that the software meets its safety requirements.
When it comes to safety-critical systems, all corner cases that may threaten system-level safety properties needed to be addressed. Formal verification allows you to express and assess safety requirements, and effectively find bugs early in the development process. System-level analysis can be mapped to the software, closing the gap created by introduction of complex algorithms.
In this webinar, Ansys and Prover Technology demonstrate how formal proof technologies, such as Ansys SCADE Suite Design Verifier, can:
- Uncover unwanted behaviors early in the development process
- Bring value to your verification activities and improve KPIs
- Be applied to model-based approach
Francois-Xavier Dormoy, Lead Product Manager, Ansys
Olav Bandmann,Chief Technology Officer, Prover Technology
Ansys, Inc., together with its subsidiaries and affiliates (collectively “Ansys”), and Prover Technology are collaborating to provide you the content detailed on this page (the “Content”). If you register for the Content and provide your personal information, please know that you submit your personal information to Ansys and Prover Technology. Ansys and Prover Technology will use such personal information to deliver the Content to you and send you communications and related information regarding the Content. If you do not wish to receive these communications or submit your personal information as outlined above, please do not sign-up. For more information on Ansys’s privacy practices, please see the Ansys Privacy Notice. Please know, Prover Technology is not affiliated with Ansys and operates by its own privacy practices, which can be found here.