News
Follow our Blog and Learn about current Events and Activities at Prover
Prover at CBTC World Congress- October 29th – 31st 2018!
We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and [...]
Subscribe here!
Using HLL to solve Sudoku puzzles
In a recent post we celebrated the 10th anniversary of the declarative, formal language HLL. The language is used extensively in [...]
Challenges in Digitizing Specific Application Configurations
To enjoy the full benefits of Signaling Design Automation, particular care needs to be taken regarding the Specific Application Configuration. [...]
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 [...]
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 [...]
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 [...]
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, [...]
SOCIAL MEDIA