Prover, RATP and Systerel publish the unified HLL 4.0 specification, keeping the rail industry's formal verification language open and free of dialects.
Prover, RATP and Systerel publish the unified HLL 4.0 specification, keeping the rail industry's formal verification language open and free of dialects.
With recent advances in AI, we can make SDA more accessible to the rail control community.Our goal is to simplify SDA and Formal Methods, and in this webinar, we will demonstrate how AI enables us to achieve this.
Prover hosted the Signaling Design Automation Forum 2025 in Stockholm, uniting experts from across the rail industry to discuss open signaling, AI, and formal methods for safer and smarter railway systems.Read the recap and watch recording in this blog post.
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.
Watch the expert-led session to discover how Formal Safety Verification helps eliminate safety risks early and ensure CENELEC-compliant rail systems.
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.
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.
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.
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.
With recent advances in AI, we can make SDA more accessible to the rail control community.Our goal is to simplify SDA and Formal Methods, and in this webinar, we will demonstrate how AI enables us to achieve this.
Prover hosted the Signaling Design Automation Forum 2025 in Stockholm, uniting experts from across the rail industry to discuss open signaling, AI, and formal methods for safer and smarter railway systems.Read the recap and watch recording in this blog post.
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.
Watch the expert-led session to discover how Formal Safety Verification helps eliminate safety risks early and ensure CENELEC-compliant rail systems.
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.
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.
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.
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.
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.
© 2026 Prover Technology AB All Rights Reserved
© 2026 Prover All Rights Reserved
