About Olav Bandmann

CTO at Prover. In charge of core technology and new areas.

Model Based Development Webinar with Ansys

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 [...]

By |2020-09-24T06:37:46+01:00September 24th, 2020|Formal Verification|

Challenges in Digitizing Specific Application Configurations

To enjoy the full benefits of Signaling Design Automation, particular care needs to be taken regarding the Specific Application Configuration. Characteristics of Specific Application Configuration Specific Application Configuration (SAC) often involves large amounts of safety critical data organized in an inhomogeneous fashion. Data might be given as scheme plans, control tables, and/or in written documents, [...]

By |2018-09-05T13:13:56+01:00September 4th, 2018|Signaling Solutions|
Go to Top