Prover will be exhibiting at InnoTrans 2024, September 24-27 in Berlin. Visit us at booth 130 in hall 3.2. Our team will be there to discuss our newest advancements and how digital twins and formal methods can help you achieve your rail control projects in less time, at lower cost and with guaranteed safety.
Mingle event on September 25th
Don’t miss our mingle event on Wednesday, September 25th. Join us for a lunch mingle of appetizers and drinks at our booth. We will send out a separate invitation with more information as we get closer to the date.
Launch of Prover Station
During the mingle, we’ll present a live demo of our new solution, Prover Station. Prover Station is an innovative all-encompassing web-based SDA platform, managing digital twins and formal verification.
Develop your rail control solution with COTS products
Explore Prover solutions enabling Open and Interoperable Rail Control Systems with Commercial Off-The-Shelf (COTS) hardware. On display is our integrated development environment for PLCs. We also present a SIL4 solution for migration of relay interlockings to PLCs.
We would like to meet you at InnoTrans
Please click here and fill in the form, and we will get back to you with suggested time slots.
We look forward to welcoming you to our booth 130 in hall 3.2 at InnoTrans 2024. Join us to discuss how Prover can help you achieve your goals. Don’t miss this opportunity to connect with us!
See you in Berlin!
Share this article
Learn to build a solid safety case for rail control systems using formal verification
Fill out your information here.
More News & Articles
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
We are launching the Open Signaling Initiative. With this launch, we are helping the industry move beyond closed, monolithic systems to modular, sustainable solutions that give infrastructure managers greater control and freedom of choice.
Registration is now open for SDA Forum 2025. Join us on October 1 in Stockholm or online for a full-day conference.
This year we will focus on two key topics transforming the industry: open signaling and the increasing role of AI.
+46 (0)8 617 68 00