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
The Open signaling Initiative is transforming how railway and metro signaling systems are delivered.
By combining modular technology, collaboration, and open standards, it reduces vendor lock-in, cuts lifecycle costs, and creates space for innovation.
We are launching the Open Signaling Initiative. With this launch, we are helping the industry move beyond closed, monolithic systems to modular, sustainable solutions that give infrastructure managers greater control and freedom of choice.
Registration is now open for SDA Forum 2025. Join us on October 1 in Stockholm or online for a full-day conference.
This year we will focus on two key topics transforming the industry: open signaling and the increasing role of AI.
+46 (0)8 617 68 00