News, Events and Activities2018-03-05T16:05:07+00:00


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

By |July 25th, 2018|Categories: Events|Tags: |

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

By |June 30th, 2018|Categories: Formal Methods|Tags: |

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