News 2017-01-23T14:32:55+00:00


Follow our blog and learn about current events and activities at Prover

Nordic Rail the 10-12th of October

Elmia Nordic Rail is Scandinavia’s main railway exhibition. The trade fair show the latest products, innovations and services. For us at Prover, Nordic Rail lets us get the chance to meet our customers, primarily in [...]

By | June 28th, 2017|Events|

Prover proud member of UNIFE

UNIFE is an organization for the European rail industry, the Association gathers over 100 of Europe’s leading rail supply companies and it also brings together 14 national rail industry associations of European countries. UNIFE members [...]

By | June 26th, 2017|Company News, Events|

What’s the point of formal methods?

Railway signaling systems are surprisingly expensive to produce. Why did this happen? In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at the train stations [...]

By | May 29th, 2017|Formal Methods|

By continuing to use the site, you agree to the use of cookies. More information

The cookie settings on this website are set to "allow cookies" to give you the best browsing experience possible. If you continue to use this website without changing your cookie settings or you click "Accept" below then you are consenting to this. To find out more, visit