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 [...]
When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your needs, requirements, and expectations is a critical first step. Doing so helps you avoid common project roadblocks— like long and unpredictable delivery schedules, tender specification issues, or errors discovered too late in the production process. [...]
Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude of challenges for both infrastructure managers and suppliers. Here, we’ll take a deeper look at the underlying issues and discuss how implementing Signal Design Automation can help you eliminate inefficiencies and costly errors—and finally gain [...]
November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. It is a forum for sharing [...]
A few years back we got the idea of creating a forum for sharing experiences, best practices, and for networking. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation and formal verification technologies to automate design and verification of railway signaling [...]
2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, best practices, and for networking. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation and formal verification– software technologies to automate design and verification of [...]
Come visit us and learn about our market leading solutions for automated safety verification with Formal Methods and Design Automation for Rail Control Software. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using [...]
November 6 Prover hosted Signaling Design Automation Forum 2019 in Shanghai. Our intention was to gather signaling professionals from the railway industry as well as related safety critical industries to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. Especially focusing on Safety [...]
Prover has taken its next step in addressing the Chinese railway market by establishing a team in Shanghai. This team is delighted to serve this dynamic market and is looking forward to contributing to its continued growth. One and a half year ago we decided to execute a China market strategy and I am very [...]
For us at Prover, Nordic Rail lets us get the chance to meet our customers, primarily in the Nordic countries but also many foreign guests who are interested in the Nordic projects. Come visit us in booth B03:72/2 and learn about our market leading solutions for automated safety verification with Formal Methods and Design Automation [...]
