Prover Technology AB
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.
- Signalling/Train Control Systems
- Computer Aided Design