Events

Prover to attend SmartMetro and CBTC World Congress in Madrid on November 25th to 27th

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

By |2019-11-22T09:28:34+01:00November 22nd, 2019|Events|

A summary of the Signaling Design Automation Forum 2019

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

By |2019-11-21T12:48:31+01:00November 19th, 2019|Events|

Looking back at the RSSI C&S Exhibition 2019

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

By |2019-10-10T10:32:09+01:00October 10th, 2019|Events|

Prover to attend World Congress on Formal Methods in Porto, Portugal from October 7th to 11th.

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

By |2019-10-04T07:59:29+01:00September 26th, 2019|Events|

Prover will exhibit at Elmia Nordic Rail 2019, October 8-10

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

By |2019-09-18T07:15:18+01:00September 17th, 2019|Events|

Meet us at the RSSI C&S Exhibition – Sept. 21-24, 2019

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

By |2019-08-28T11:01:14+01:00August 26th, 2019|Events|

Save the date – SDA Forum in Shanghai 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-09-17T09:02:35+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|
Load More Posts