Prover participation
We will participate in Train & Rail 2025 in Stockholm from May 6 to May 8, in booth A06:31.
At Train & Rail 2025, we look forward to engaging with industry professionals and discussing how formal methods and innovative solutions are shaping the future of railway signaling. Our team will be available to share insights, answer questions, and explore how we can help address your challenges in developing and verifying safety-critical signaling systems. As a leader in formal methods for railway signaling, we will showcase our latest solutions that are transforming the industry by enhancing safety, efficiency, and reliability.
Mingle event on Tuesday, May 6
We are also happy to co-host a mingle event on Tuesday, May 6, from 16.00 to 17.00, in partnership with Swedtrain and other member companies. This event will be a great opportunity to network with industry colleagues, share ideas, and discuss the future of railway technology in an informal setting. Sign up for the mingle here on Swedtrain’s website.
Join us at Train & Rail
Please meet us at our booth, which will be located at A06:31. We look forward to meeting you in Stockholm to explore the future of railway signaling together!
Train & Rail is the Nordic region’s largest meeting place for actors in the railway industry. The fair is organized every two years and brings together more than 3000 visitors and over 150 exhibitors. Here you will meet politicians at municipal, regional and national level with responsibility for rail, infrastructure and urban planning, government representatives, freight owners, transport buyers, traffic planners and much more. Train & rail will be held at Stockholmsmässan, Älvsjö, between May 6-8, 2025. Reference: Train & Rail
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