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 [...]
This year’s Signaling Design Automation Forum draws closer and is now fully booked! You can still sign up on our waiting list and we will notify you if a seat becomes available. The agenda for the event is now available for download here! We look forward to meeting you all in Shanghai the 6th of [...]
This September 21-24th, the 59th annual RSSI C&S Exhibition, in conjunction with Railway Interchange, was held in the Minneapolis Convention Center. Prover participated with a booth at the exhibition and a presentation at the AREMA conference. As always, we had a great time and enjoyed catching up with many long-term customers and partners, as well [...]
We will present our tools for formal verification and modeling at the tool presentation of the 3rd World Congress of Formal Methods. Prover SL CE (PSL) is a state-of-the-art SAT-based model checker, and the result of Prover’s 30-year-long experience in applying formal verification in industry. PSL is used around the world on large industrial models [...]
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 [...]
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 [...]
We will exhibit at the RAILTEX Exhibition at the NEC in Birmingham, UK May 14 -16. Come to see us at booth B45 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 [...]
