News
Follow our Blog and Learn about current Events and Activities at Prover
Why every rail control project should start with a Reference Model Implementation
When you’re tasked with the mission of procuring a new rail control solution, taking time to clearly specify your [...]
Subscribe here!
The Key to a Successful Rail Control Project
Despite exciting technological advancements, carrying out a successful rail control project today remains a complex burden with a multitude [...]
Takeaways from the Signaling Design Automation Forum 2021
November 16 Prover hosted Signaling Design Automation Forum 2021 in Paris. The Signaling Design Automation Forum is an event [...]
Signaling Design Automation Forum 2021 – Paris
A few years back we got the idea of creating a forum for sharing experiences, best practices, and for [...]
LCF – For data exchange between humans and machines
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
Introducing Prover Studio
I am proud to present Prover Studio, an integrated development environment for formal specifications. I must admit, we should have [...]
The CBTC User Group – discussing the CBTC signaling systems of today and tomorrow
Together with the metros of Copenhagen (Metroselskabet, MS), New York City (New York City Transit, NYCT) and Stockholm (Storstockholms [...]
SOCIAL MEDIA