Signaling Design Automation Forum 2022 – Stockholm

SDA Forum has been a success in the past and our goal is to exceed your expectations this autumn. The first conference was hosted by Prover in Stockholm 2018. After the success, we’ve been to Shanghai 2019 and Paris 2021. Now it is time to close the circle in Stockholm again, on the 18th [...]

By |2022-08-26T15:24:27+01:00August 26th, 2022|Events|

Prover joins RSSI 2022 in Kansas City

This is a great opportunity to meet with the railway industry and to get better insight in the needs of rail control software solutions. At RSSI 2022 on 16-18 May we will put our solutions on display and look forward to getting back to face-to-face dialogues with colleagues in the business again. Since the last [...]

By |2022-08-17T08:56:30+01:00April 28th, 2022|Events|

Takeaways from the Signaling Design Automation Forum 2021

November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event gathering signaling professionals from the railway industry to share and discuss the latest evolutions on design automation – software technologies to automate design and verification of railway signaling systems. It is a forum for sharing [...]

By |2021-12-09T11:05:06+01:00December 9th, 2021|Company News, Events|

Signaling Design Automation Forum 2021 – Paris

A few years back we got the idea of creating 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 technologies to automate design and verification of railway signaling [...]

By |2021-09-23T12:16:45+01:00September 21st, 2021|Events|

The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow

Together with the metros of Copenhagen (Metroselskabet, MS), New York City (New York City Transit, NYCT) and Stockholm (Storstockholms Lokaltrafik, SL), Prover has founded the CBTC user’s group to share experiences and best practices in the area of Communication-Based Train Control systems (CBTC). The inaugural digital meeting was held on March 11, with presentations [...]

By |2022-08-17T08:58:49+01:00April 15th, 2021|CBTC, Events|

Formal Methods for Industrial Critical Systems 2020

The 25th International Conference on Formal Methods (FMICS) 2020 took place virtually in Vienna on the 2-3 September. Today Formal Methods - techniques more than 50 years old - is recognized by the FMICS community as the cutting-edge technologies for specification, development, and verification of software and hardware systems. FMICS 2020 was an unprecedented effort [...]

By |2022-08-17T08:59:01+01:00October 14th, 2020|Events|

Save the date – SDA Forum in Paris March 23rd

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

By |2020-09-24T05:01:32+01:00June 23rd, 2020|Events, Formal Verification|

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 |2021-11-20T11:49:57+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|
Go to Top