Events

Save the date – SDA Forum in Beijing Nov 6

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 [...]

By |2019-07-09T08:19:39+01:00July 8th, 2019|Events, Formal Verification|

See you at the RAILTEX Exhibition – May 14 -16

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 [...]

By |2019-04-17T08:04:37+01:00April 15th, 2019|Events|

SIFER Rail – March 26-28

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 [...]

By |2019-01-14T15:38:04+01:00January 14th, 2019|Events|

A look back at the SmartMetro conference in Paris

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 [...]

By |2018-11-14T11:35:10+01:00November 14th, 2018|Events|

Prover at CBTC World Congress- October 29th – 31st 2018!

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 [...]

By |2018-11-14T11:34:47+01:00October 18th, 2018|Events|

Prover at Innotrans 2018!

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 [...]

By |2018-07-25T12:12:06+01:00July 25th, 2018|Events|

A summary of the Signaling Design Automation Forum 2018

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 [...]

By |2018-06-07T15:39:04+01:00June 7th, 2018|Events|

A look back at the RSSI C&S Exhibition 2018

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 [...]

By |2018-06-04T08:40:10+01:00June 4th, 2018|Events|

Embrace the latest evolutions of design automation – SDA Forum 2018

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 [...]

By |2018-04-26T11:14:58+01:00April 26th, 2018|Events, Software Development|
Load More Posts