Formal Verification

Formal Verification

Prover provides tools and services for Formal Verification.

Prover provides tools and services for Formal Verification.

Formal Verification enables 100% Certainty

What is Formal Verification?

While testing of big systems can never reach full coverage due to the number of combinations that would have to be tested, formal verification provides full certainty because it uses a mathematical argument without gaps. It is precise, unambiguous and covers 100% of the domain under investigation.

While testing of big systems can never reach full coverage due to the number of combinations that would have to be tested, formal verification provides full certainty because it uses a mathematical argument without gaps. It is precise, unambiguous and covers 100% of the domain under investigation.

Formal methods

A requirement in safety assessment

Several infrastructure managers now require formal verification as part of the safety assessment. Even when not required, suppliers now choose to do formal verification because of the increased safety and the possibility of decreasing testing by finding issues with automated techniques.

Safety assessment
Get started

What is needed for you to get started?

Two kinds of expertise are needed to successfully deploy Formal Verification as a methodology: Expertise in formal verification and expertise in railway control systems. With our help, tools and guidance, any company can set up and deploy formal safety verifications.

Formal Verification since 1989

Prover has performed formal verification for almost 30 years of relay-based interlockings, computer-based interlockings (such as Siemens Westrace, Ansaldo Microlok, Alstom iVPI, GE ElectroLogiXS, SCADE-based designs etc), CBTC systems, ETCS systems, micro processors, embedded systems in cars, and more.

Prover provides products, training and support to set up your own team and process. We will support you during the introduction and assist if expert services are needed.

Formal Verification since 1989

Formal Verification as a service

Should you prefer to buy Formal Verification as a service, Prover will provide you with that. Our experienced and highly skilled professional services team will then perform formal verification of your system using a set of our products tailored to your needs. Any violations of safety requirements are then reported to you, along with the causes. Read more about our services.

Our products portfolio

  • Prover iLock®: railway interlocking simulator, document & code generator, and verifier

  • Prover Certifier: CENELEC SIL-4 certifiable safety evidence generator

  • PSL: model checker capable of formally verifying big industrial systems

  • SCADE FV: CENELEC SIL-4 formal verification of systems built with SCADE

Guide digital twins

How to build a solid safety case for your rail control system using Formal Verification

References

Prover’s innovative solution bring benefits to many types of Rail Control Projects.

SOFTWARE SOLUTION

Prover Certifier – Ensure safety with 100% certainty

The only sign-off verification tool on the market that allows you to automatically produce complete safety evidence using formal verification.

Certifier

How much can you save by implementing Signaling Design Automation?

In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.

testimonial-3-female

Mats Boman
Title, Prover

”We can map the complete workings of a unit at the heart of the cycle, look inside it and see what’s going on.”

testimonial-3-female

Mats Boman
Title, Prover

”We can map the complete workings of a unit at the heart of the cycle, look inside it and see what’s going on.”