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
When replacing relay interlockings, most conversations start with technology. The better starting point is governance: how do you make sure you can still change parts of the system 20 years from now? We look at what Open Signaling means in practice, and how our Stockholm Metro pilot was designed for replaceability from day one.
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.
+46 (0)8 617 68 00