InnoTrans 2026
Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Jesper Carlström2026-07-09T08:00:10+01:00Events|
Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Jesper Carlström2026-07-09T08:00:10+01:00Events|
Meet the Prover team at InnoTrans 2026. Explore Open Signaling, watch live demos, and book a meeting to discuss open signaling.
Sara Månsson2025-09-15T13:13:58+01:00Formal methods, Safety, Verification & validation, Webinar|
Watch the expert-led session to discover how Formal Safety Verification helps eliminate safety risks early and ensure CENELEC-compliant rail systems.
Amanda Öberg2025-07-03T10:51:58+01:00Company news, Formal methods, Modeling|
Prover and Stockholm Public Transport is launching a project to create a model-based environment for traffic control systems. By integrating digital twins and simulation tools, the initiative will improve control, reduce risk, and enable better, data-driven decisions across the organization.
Amanda Öberg2025-07-03T10:35:38+01:00Company news, Open signaling|
Starting in May 2025, Prover will lead a 24-month project to develop standardized approval methods for modular digital interlockings. Using formal verification and automated testing, the project supports EULYNX and Europe’s Rail goals for interoperable, vendor-independent signaling. Partners include DLR and ESE Engineering.
Mats Boman2026-06-23T21:09:43+01:00Guide, Open signaling|
Aging relay-based systems are nearing their limit. Spare parts are scarce, costs are rising, and critical knowledge is fading fast. This guide shows you how to take control of your infrastructure’s future – by migrating to open, COTS-based signaling systems in a step-by-step, low-risk way.Backed by real-world case studies like the Stockholm Metro, and trusted by leading European operators, this guide gives you the tools to modernize with confidence.
Jesper Carlström2025-09-02T13:12:48+01:00COTS, Open signaling, Signaling systems, Webinar|
Introducing the Open Signaling Initiative – for freedom and adaptability in modern rail and metro signaling.Inspired by the modularity and flexibility of earlier relay-based systems, the Open Signaling Initiative redefines how rail and metro signaling systems are developed, deployed, and maintained.
Amanda Öberg2025-07-03T10:21:12+01:00Company news|
Prover is partnering with Eiffage Énergie Systèmes on the Villeneuve Demain project, delivering railway signaling software for the PAVS system at SIL4 safety level.Using Prover’s automation tools, the solution ensures EN 50716 compliance, facilitates future maintenance, and enables reuse across similar systems.
Amanda Öberg2025-09-02T13:11:47+01:00Company news, Events|
Prover will be at Train & Rail, meet us in our booth located at A06:31.
Mats Boman2025-07-15T08:04:37+01:00COTS|
Learn how Prover’s Relay Signaling Migration enables safe, efficient modernization of legacy railway systems with formal verification and digital twin technology.
Amanda Öberg2026-03-05T10:09:33+01:00Job openings|
Join the future of rail innovation.Are you looking to launch your career in B2B sales within a high-tech industry? Do you want to work with cutting-edge railway technology that ensures safety and efficiency for rail operators worldwide? Prover is seeking a Junior Sales Executive who is eager to learn, develop customer relationships, and grow with us. This role offers hands-on training, mentorship, and opportunities to work with some of the most advanced rail software companies in the world.
Amanda Öberg2026-03-05T10:10:21+01:00Job openings|
Shape the future of railway safety and automation.Are you an experienced B2B sales professional with a passion for technology, rail, and automation? Do you excel at building long-term strategic partnerships and driving high-value enterprise deals? Prover is seeking a Senior Account Executive to take ownership of key customer relationships, lead complex sales cycles, and drive business growth in Europe and beyond.
Sara Månsson2025-09-15T13:13:58+01:00Formal methods, Safety, Verification & validation, Webinar|
Watch the expert-led session to discover how Formal Safety Verification helps eliminate safety risks early and ensure CENELEC-compliant rail systems.
Amanda Öberg2025-07-03T10:51:58+01:00Company news, Formal methods, Modeling|
Prover and Stockholm Public Transport is launching a project to create a model-based environment for traffic control systems. By integrating digital twins and simulation tools, the initiative will improve control, reduce risk, and enable better, data-driven decisions across the organization.
Amanda Öberg2025-07-03T10:35:38+01:00Company news, Open signaling|
Starting in May 2025, Prover will lead a 24-month project to develop standardized approval methods for modular digital interlockings. Using formal verification and automated testing, the project supports EULYNX and Europe’s Rail goals for interoperable, vendor-independent signaling. Partners include DLR and ESE Engineering.
Mats Boman2026-06-23T21:09:43+01:00Guide, Open signaling|
Aging relay-based systems are nearing their limit. Spare parts are scarce, costs are rising, and critical knowledge is fading fast. This guide shows you how to take control of your infrastructure’s future – by migrating to open, COTS-based signaling systems in a step-by-step, low-risk way.Backed by real-world case studies like the Stockholm Metro, and trusted by leading European operators, this guide gives you the tools to modernize with confidence.
Jesper Carlström2025-09-02T13:12:48+01:00COTS, Open signaling, Signaling systems, Webinar|
Introducing the Open Signaling Initiative – for freedom and adaptability in modern rail and metro signaling.Inspired by the modularity and flexibility of earlier relay-based systems, the Open Signaling Initiative redefines how rail and metro signaling systems are developed, deployed, and maintained.
Amanda Öberg2025-07-03T10:21:12+01:00Company news|
Prover is partnering with Eiffage Énergie Systèmes on the Villeneuve Demain project, delivering railway signaling software for the PAVS system at SIL4 safety level.Using Prover’s automation tools, the solution ensures EN 50716 compliance, facilitates future maintenance, and enables reuse across similar systems.
Amanda Öberg2025-09-02T13:11:47+01:00Company news, Events|
Prover will be at Train & Rail, meet us in our booth located at A06:31.
Mats Boman2025-07-15T08:04:37+01:00COTS|
Learn how Prover’s Relay Signaling Migration enables safe, efficient modernization of legacy railway systems with formal verification and digital twin technology.
Amanda Öberg2026-03-05T10:09:33+01:00Job openings|
Join the future of rail innovation.Are you looking to launch your career in B2B sales within a high-tech industry? Do you want to work with cutting-edge railway technology that ensures safety and efficiency for rail operators worldwide? Prover is seeking a Junior Sales Executive who is eager to learn, develop customer relationships, and grow with us. This role offers hands-on training, mentorship, and opportunities to work with some of the most advanced rail software companies in the world.
Amanda Öberg2026-03-05T10:10:21+01:00Job openings|
Shape the future of railway safety and automation.Are you an experienced B2B sales professional with a passion for technology, rail, and automation? Do you excel at building long-term strategic partnerships and driving high-value enterprise deals? Prover is seeking a Senior Account Executive to take ownership of key customer relationships, lead complex sales cycles, and drive business growth in Europe and beyond.
Fill out your information here.
Explore the railway solutions, start with a focused engagement, or discuss how Prover can support your functional safety lifecycle.
And 100% secure system.












Get the latest news and updates about Prover.
| Krukmakargatan 21 118 51 Stockholm Sweden |
+46 (0)8 617 68 00
Get the latest news and updates about Prover.
This website uses cookies to improve your experience. Cookies are small data files that are stored on your device when you visit our website. We use cookies to understand how you use our website and to be able to offer a more personalized and relevant experience.
We also use third-party cookies that help us improve our advertising and marketing. These cookies enable us to show you relevant advertisements based on your interests and past interactions on our website.
We protect your privacy and want to be open about how we use cookies. You can read more about our privacy policy to gain a deeper understanding of how we handle your personal data. If you do not want us to use cookies, you can change your settings at any time. By continuing to use our website, you agree to our use of cookies and agree to our privacy policy.