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 [...]
We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover Technology (Prover) have entered into a long-term agreement for the supply of Prover’s Signal Design Automation product suite Prover Trident. The initial focus is to further strengthen CASCO’s position as a leading supplier of signaling systems for China’s railway segment, by the use [...]
Read more about the 59th Annual RSSI C&S Exhibition, Minneapolis, MN. Sept. 21-24, 2019 here! This year the RSSI C&C Exhibition returns to Minneapolis, in conjunction with Railway Interchange, bringing conferences and exhibitions from AREMA, RSI, REMSA and RSSI together under one roof. An exiting event, not to be missed! Prover will be showcasing the [...]
2017 an idea was born at Prover Technology, we wanted to create a forum for sharing experiences and 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 [...]
On Dec 4, the first HLL forum organized by Prover was held in Paris. The event brought together the major users of the HLL language. The forum was an exciting opportunity to learn how HLL is used today, and to discuss how HLL can evolve in a controlled way to meet the challenges of tomorrow. [...]
It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing signaling solutions. Most interlocking system projects today are developed with the following characteristics: Errors are found late Late changes are costly Schedules to deliver interlocking software are long and unpredictable There is a need to [...]
We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and Signaling Design Automation. 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 Formal [...]
