Prover – Open Signaling at InnoTrans 2026
Meet us at the world’s leading railway trade fair — September 22–25, Berlin
Across Europe, the rail industry faces the same difficult choice: keep carrying the growing risk of aging signaling systems — or commit to another long cycle of closed-system replacement.
At InnoTrans 2026, Prover is presenting a third path. Open Signaling.
Planning to attend InnoTrans 2026? You can schedule a meeting with our team here.
What is Open Signaling?
Open signaling is an architectural and lifecycle approach built on open interfaces, modular architecture, and COTS-based hardware. It gives infrastructure managers, operators, and integrators a stronger role in how their signaling systems evolve — reducing vendor lock-in, lowering lifecycle costs, and enabling step-by-step modernization without a full system overhaul.
→ Learn more at opensignaling.org
Meet us at the Open Signaling booth — Hall 3.2
At our booth, the Prover team will walk you through real migration paths, Prover’s role in the Open Signaling Initiative, and live demonstrations of how Prover Station supports open signaling design, formal verification, and step-by-step migration — with traceable safety evidence built for CENELEC SIL 4
Booth 210 – Hall 3.2.
AI Mobility Lab — Hall 7
Modern railway signaling needs more than faster tools. Prover brings formal methods and AI assistance together to make open signaling safer, faster, and easier to evolve. See how AI can accelerate open signaling and how formal methods can safeguard AI
Visit our AI Mobility Lab booth to explore how trustworthy engineering assistance can support the next generation of railway signaling.
Booth 258 – Hall 7
Date:
September 22–25, 2026 · Messe Berlin
We look forward to welcoming you to our booth. Make sure to book a meeting with us if you’re planning a visit. 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
Engineering is accelerating with AI, but clarity and control are now the real bottlenecks. Learn how executable specifications and formal verification enable faster, more reliable systems.
Do you have experience in leading strategic and complex customer projects? Are you looking for an opportunity to leverage your experience throughout our company? Then this role might be right for you! We are now recruiting to a new position as a Commercial Project Management (PM) Lead.
Prover uses formal methods to make railway signaling provably safe. Our solutions build safe, reliable, and cost-efficient systems that move and protect millions of passengers every day. Through our Open Signaling Initiative, we're reshaping how the industry builds and maintains signaling systems across Europe and beyond. Now we're looking for someone to join us and bring AI, LLMs, and agentic workflows into the heart of how we work and what we build.
