News
Follow our Blog and Learn about current Events and Activities at Prover
HLL to become a standard Formal Language
On Dec 4, the first HLL forum organized by Prover was held in Paris. The event brought together the major [...]
Subscribe here!
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 [...]
Formal Verification Performance Jump
We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]
A look back at the SmartMetro conference in Paris
This Oct 29-31st, the SmartMetro conference was held in Paris. The event brought together Senior metro, tram, and light rail [...]
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. [...]
SOCIAL MEDIA