News
Follow our Blog and Learn about current Events and Activities at Prover
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 [...]
HLL formal language celebrates 10 years
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical systems, especially in the railway signaling domain. This year marks the 10th anniversary of its conception. [...]
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 [...]
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 [...]
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 [...]
SOCIAL MEDIA