Formal Development
Prover Station
The platform for safe and efficient rail signaling
Prover Station is a next-generation web-based platform designed to simplify the design, verification, and validation (V&V) of complex rail and metro signaling systems. By integrating advanced tools such as digital twins with simulation and formal verification, Prover Station ensures that your projects meet the highest safety standards while optimizing performance across the board. Available both on-premises and in the cloud, Prover Station is built to evolve with your needs.
Key features

Complete digital twin management
Prover Station provides a state-of-the-art solution for managing digital twins, offering real-time simulations to help engineers design and optimize system performance. With the ability to aggregate multiple digital twins into a cohesive model, you gain full visibility of your signaling system, from broad overviews to detailed components. This approach improves decision-making, anticipates issues, and reduces downtime – all without requiring any programming expertise. Built-in simulation capabilities provide precise models of many different platforms for signaling systems such as interlocking, ETCS RBC and CBTC.
Streamlined formal verification
Prover Station simplifies formal verification with a highly visual and intuitive workflow. Organize verification and validation tasks into proof projects that provide progress tracking and status overviews. Use formal verification throughout your development cycle to ensure that issues are identified early, saving time and cost in later stages of development. The customizable nature of Prover Station allows users to define safety requirements of their own. Results have been certified to meet the strictest industry regulations of CENELEC EN 50128 and EN 50716 SIL 4.


Seamless integration and future-proof development
Designed with scalability in mind, Prover Station integrates effortlessly with your existing IT systems through APIs, allowing transfer of data between systems, as well as automation of tasks in Prover Station. Industry-standard protocols like MQTT and OPC-UA are supported for simulation, which allows for hardware-in-the-loop testing and integration with third-party simulators. If your current systems don’t support these protocols, it is usually straightforward to develop the necessary adapters.
Why Prover Station?
Built for non-experts and experts alike
Prover Station’s intuitive interface allows signaling engineers to easily engage with prototyping, design, and validation tasks, also if they have no experience with software programming. Extensive visualization and graphical representations aid collaboration between experts and those who want to learn.
A platform that grows with you
Prover Station is continuously evolving, with planned developments focusing on digital twins, data preparation capabilities, and third-party tool integrations. This ongoing innovation ensures that Prover Station will continue to meet your future signaling project needs.
Book A demo
Get started with Prover Station
Ready to optimize your rail signaling projects? Request a demo today or download product materials to see how Prover Station can drive safety, efficiency, and innovation across your next project.
References
Prover’s innovative solutions brings benefits to many types of rail control projects
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...
Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...