Services

Services

Prover’s team of experts in Formal Methods and Rail Control Systems provides a wide range of services tailored to our customers’ needs.

Prover’s team of experts in Formal Methods and Rail Control Systems provides a wide range of services tailored to our customers’ needs.

Expert services Signaling Design Automation

Prover provides services, training, and support to our customers to assist them in achieving their goals. This can include configuring software tools for a target environment and process or managing complete projects that deliver revenue-generating rail control software services. The team has been working for several years to enhance the safety and quality of railway software in collaboration with industrial partners and infrastructure managers.

We perform:

  • Safety analysis
  • Formal safety verification
  • Delivering a safety report
  • Safety assessments

  • Delivering safety evidence and recommendations

Why Prover?

Signaling software development

Rail Control Software

We develop a formally verified and simulated code ready for revenue service, with safety cases.

Development rail control projects

Formalizing requirements

We support to capture and formalize requirements for your rail control system.

Development training for Rail control

Training

Prover provides a set of training programs to get you started to work with our software tools, with Safety Verification and SDA. We also often tailor specific training programs to our customer’s needs.

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.”