Prover Technology AB

  • Tool developer

Prover Technology is a world-leading provider of software products for development and V&V of railway control and signalling systems, such as CBTC, ERTMS and interlocking systems. By utilizing Prover Technology’s products, customers reduce development costs and see their time-to-market measures shrink significantly. Safety evidence for CENELEC SIL 4 certification is automatically produced by the push of a button, making code review and safety testing unnecessary.

Within MOGENTES, Prover will work on new Test Case Generation (TCG) methods, based on formal verification methods, fault injection and structural metrics, in order to reduce the effort in establishing the safety impact of system faults, and to otherwise reduce the testing effort in system development.