News
Follow our Blog and Learn about current Events and Activities at Prover
New Concepts and Competencies needed to meet Future Demand in the Railway Industry
It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing [...]
Subscribe here!
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 [...]
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 [...]
SOCIAL MEDIA