Events

HLL to become a standard Formal Language

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

By |2018-12-14T13:19:39+00:00December 14th, 2018|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+00: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+00: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+00: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+00: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+00: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+00:00April 26th, 2018|Events, Software Development|

RSSI 58th Annual C&S Exhibition, Omaha, NE. May 21-24, 2018

Prover is exhibiting at the RSSI C&S Exhibition in Omaha. We will be showcasing the latest technology within Signal Design Automation. Stop by booth 1239 to learn how your organization can benefit from a more automated process for design, development and safety assessment of rail control software. Prover’s product offering on display includes the Prover [...]

By |2018-04-11T09:37:56+00:00April 24th, 2018|Events|

Signaling Design Automation Forum on the 15th of May 2018

Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems. The conference will be focusing on Design Automation [...]

By |2018-02-21T13:31:29+00:00February 21st, 2018|Events|

The RSSRail conference 2017

On November 14-16th, the RSSRail Conference was held in Pistoia, Italy. The conference brought together researchers, engineers and academics from the rail industry, who are interested in building critical advanced railway applications and systems. Our Chief Strategy officer, Arne Borälv, was there to represent Shift2Rail and Trafikverket. In November I attended the RSSR2017 Conference on [...]

By |2018-01-09T09:33:08+00:00January 9th, 2018|Events, Signaling Solutions|
Load More Posts