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, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
Prover uses formal methods to make railway signaling provably safe. Our solutions build safe, reliable, and cost-efficient systems that move and protect millions of passengers every day. Through our Open Signaling Initiative, we're reshaping how the industry builds and maintains signaling systems across Europe and beyond. Now we're looking for someone to join us and bring AI, LLMs, and agentic workflows into the heart of how we work and what we build.
Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
COTS is a key enabler of open signaling, helping railway infrastructure managers move from proprietary systems to open, modular architectures. By using standardized components, operators can reduce vendor dependency, lower lifecycle costs, and create more flexible and future-ready signaling systems.
EN 50716 (the successor to EN 50128/EN 50657) sets the software development and verification expectations for railway applications, clarifying how formal methods and tool qualification contribute to a robust safety case. This session takes a practitioner’s view of applying that framework to real systems and on‑board functions.
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.
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, RATP and Systerel publish the unified HLL 4.0 specification, keeping the rail industry's formal verification language open and free of dialects.
Prover, together with NEAT, Schneider Electric, and Pilz will demo real railway interoperability at InnoTrans: three vendor platforms, one interlocking design, live at Prover's booth.
Prover uses formal methods to make railway signaling provably safe. Our solutions build safe, reliable, and cost-efficient systems that move and protect millions of passengers every day. Through our Open Signaling Initiative, we're reshaping how the industry builds and maintains signaling systems across Europe and beyond. Now we're looking for someone to join us and bring AI, LLMs, and agentic workflows into the heart of how we work and what we build.
Meet Prover at RailTech Europe in Utrecht, March 4–5. Visit Booth 2.509 and join our workshop on migration of signaling systems to PLC-based SIL 4 solutions.
COTS is a key enabler of open signaling, helping railway infrastructure managers move from proprietary systems to open, modular architectures. By using standardized components, operators can reduce vendor dependency, lower lifecycle costs, and create more flexible and future-ready signaling systems.
EN 50716 (the successor to EN 50128/EN 50657) sets the software development and verification expectations for railway applications, clarifying how formal methods and tool qualification contribute to a robust safety case. This session takes a practitioner’s view of applying that framework to real systems and on‑board functions.
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.
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.
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
