
Very excited to announce that our VP of Sales, Gunnar Smith, was recently interviewed by Global Railway Review. The article is now available online and open for everyone to read.
In the interview, Gunnar explains how the railway industry can overcome the challenges of rail control projects. He talks about the typical challenges faced in the procurement and development of rail control projects and how these can be mastered with a modern approach based on Signaling Design Automation (SDA) and the use of digital twins early on in the projects.
Go to Global Railway Review’s website to read the full article.
Share this article

Learn more about how to develop specifications with Digital Twins
Fill out your information here.
More News & Articles
Explore how Prover is revolutionizing railway signaling with AI and formal methods. Discover Prover Labs: a hub for innovation, collaboration, and shaping AI-driven automation for enhanced safety, efficiency, and precision in signaling design.
Prover introducing Signaling Design Automation to students at CentraleSupélec in Paris.
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.