Railtex 2021

Joining forces to shape the future of UK rail

7 - 9 September 2021 | NEC, Birmingham

Infrarail 2021

Prover Technology AB


Hall 12, Stand H30


Railway infrastructure managers need new rail control systems to support increased traffic capacity. Existing legacy systems are replaced with new, digital rail control to reduce headway and conform to interoperability standards such as ERTMS and CBTC. This is where Prover plays a part. Prover provides design automation and formal verification solutions that increase the capacity for delivering software for new and more complex digital train control, and meeting demand on improved safety for today’s more complex digital rail control.

Railtex / Infrarail Product Categories

  • Signalling/Train Control Systems
  • Computer Aided Design
  • Design Services

Contact Details

Gunnar Smith
Prover Technology AB
Krukmakargatan 21
SE-118 51 Stockholm

Tel: +46 70 1904512

Contact us via Email »