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.
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.
Prover introducing Signaling Design Automation to students at CentraleSupélec in Paris.
Discover how Prover is transforming railway signaling design automation with AI, formal methods, and digital twins for enhanced efficiency and safety.
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.
Prover Station is a comprehensive platform designed to meet the most demanding requirements of the railway and metro signaling industry
With the launch of Prover Station as our next-generation platform, we meet the increasing demands of simulation and scenario exploration in the railway industry.
Prover will be at InnoTrans 2024, at booth 130 in hall 3.2 from September 24 to 27. Don’t miss the opportunity to see firsthand how Prover is revolutionizing railway signaling.
Explore the transformation of the railway industry towards interoperable, vendor-independent solutions using COTS hardware. Discover the benefits and implementation strategies for open and interoperable signaling solutions in the modern rail network.
Prover is revolutionizing railway signaling with AI-powered design automation, leveraging formal methods and digital twins to enhance safety, efficiency, and modernization in the industry.
Prover introducing Signaling Design Automation to students at CentraleSupélec in Paris.
Discover how Prover is transforming railway signaling design automation with AI, formal methods, and digital twins for enhanced efficiency and safety.
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.
Prover and RATP strengthen collaboration: advancing passenger safety with formal methods.
Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.
Prover Station is a comprehensive platform designed to meet the most demanding requirements of the railway and metro signaling industry
With the launch of Prover Station as our next-generation platform, we meet the increasing demands of simulation and scenario exploration in the railway industry.
Prover will be at InnoTrans 2024, at booth 130 in hall 3.2 from September 24 to 27. Don’t miss the opportunity to see firsthand how Prover is revolutionizing railway signaling.
Explore the transformation of the railway industry towards interoperable, vendor-independent solutions using COTS hardware. Discover the benefits and implementation strategies for open and interoperable signaling solutions in the modern rail network.
Prover is revolutionizing railway signaling with AI-powered design automation, leveraging formal methods and digital twins to enhance safety, efficiency, and modernization in the industry.
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
+46 (0)8 617 68 00