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 [...]
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 [...]
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 [...]
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 [...]
On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day ‘Hackaton’ in order to share ideas and concepts to expedite delivery of High Speed Two (HS2), one of the largest modern infrastructure projects in the UK. The best ideas will be selected to go through to [...]
Prover have attended the yearly LightRailDay in Aarhus. This year the focus was on safety aspects for City Trams and on the brand-new tram system in Aarhus, as it is the first tram system, or “Letbane” as in Danish. The conference was supported by the main partners for the Light Rail Day 2017, Stadler, Ansaldo [...]
This year the RSSI Annual C&S Exhibition will be part of the 2017 Railway Interchange Conference and Exhibition, bringing together AREMA, RSI, REMSA and RSSI in the largest combined railway exhibition and technical conference in North America. Don’t miss this opportunity to meet with close to 10,000 rail professionals from 40 plus countries, and learn [...]
