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
Prover, RATP and Systerel publish the unified HLL 4.0 specification, keeping the rail industry's formal verification language open and free of dialects.
Generative AI has entered railway software engineering ahead of the standards governing it. A new CENELEC draft amendment to EN 50716 doesn't add requirements. It clarifies which existing rules apply when AI drafts specs, writes code, or generates test cases, and why those rules are harder to satisfy with generative models than teams might assume.
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
