Prover Technology AB
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