Media Partners

Supporting Organisations

Prover Technology AB

Stand B45


Prover provides automation solutions for rail control software design to radically reduce time to market for commissioning of such systems, with improved safety. For example, a complete interlocking system delivery can be reduced from months to days. Code generation, safety verification and functional testing become push-button activities.

Railtex Product Categories

  • Signalling/Train Control Systems
  • Computer Aided Design

Prover Technology AB

Latest News