Study our recorded webinar with Ansys
Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover supplies the model checker PSL, which powers Ansys new SCADE Suite Design Verifier. It provides the new Design Verifier with a great leap in performance and enables state-of-the-art formal verification of SCADE-models, including IEEE 754 floating point arithmetic.
The new Design Verifier also allows to optionally add EN50128/ISO26262 approved verification using Prover Certifier. These and other exciting features are presented in the webinar.
If you are interested in model-based development in SCADE and want to know more about all the possibilities introduced by the new Design Verifier, be sure not to miss the joint webinar with Ansys presenting the new SCADE Suite Design Verifier. The recorded webinar is hosted by Ansys and you can watch it by registering here.