Prover Technology AB

Stand B45


Prover provides solutions for rail control software design automation that radically reduce time to market for commissioning of such systems, with improved safety. As an 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


Railtex Newsletter

Your source for the latest news and technologies impacting the rail industry