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 [...]
We will exhibit at the SIFER Rail event on March 26-28 in Lilles - France Come to see us on our booth 3/203 and discover our market leading solutions for Formal Verification (Model Checker) and Signaling Design Automation. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows [...]
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. [...]
This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail technology experts from all over the world, including Prover Technology. Nicolas Aucouturier and Thierry Lartaud were there to represent Prover as an international presence in the signaling industry. The annual SmartMetro conference has always been [...]
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 [...]
We will exhibit at Innotrans in September. You will find us in Hall 11.2 at booth 209! Come to our booth 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 [...]
The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation – software technologies to automate design and verification of railway signaling systems. We wanted [...]
This May 21-24th, the 58th annual Railway Systems Suppliers, Inc. (RSSI) Communication and Signal (C&S) Exhibition was held in Omaha, Nebraska. The event brought together C&S suppliers from all over the United States, as well as a few from abroad, including Prover Technology. Gunnar Smith and Sarah Brodsky were there to represent Prover as an [...]
If you are involved in designing and safety assessment of signaling systems, then the Signaling Design Automation Forum 2018 is something for you! Using Design Automation The conference will be focusing on Design Automation and Formal Methods, where leading Infrastructure Managers and suppliers from around the world (such as RATP, NYCT, SL (Stockholm Metro), Siemens [...]
