Prover is exhibiting at the RSSI C&S Exhibition in Omaha. We will be showcasing the latest technology within Signal Design Automation. Stop by booth 1239 to learn how your organization can benefit from a more automated process for design, development and safety assessment of rail control software. Prover’s product offering on display includes the Prover iLock and Prover Certifier as well as signaling solutions tailored for the signaling systems of North American Railroads.
The RSSI C&C Exhibition is the place to find out what is going on in the communication and signal areas of the rail industry in North America. It is always offers good fun and excellent opportunities for networking with your peers. The team at Prover is looking forward to meet and engage in discussions with new as well as familiar faces. Hoping to see you there!
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
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.
Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
