MOUNTAIN VIEW, USA & STOCKHOLM, SWEDEN: Synopsys Inc. and Prover Technology AB announced that Synopsys has invested in Prover, which supplies signaling design automation solutions for engineering the safety critical systems that control trains, switches and signals. The funds will enable Prover to accelerate its R&D efforts and expand its operations in Europe, North America and Asia.

A key part of a modern railway engineering process is signaling design automation, which uses formal verification, a safety analysis method based on mathematical proof. Formal verification is strongly recommended by safety standards organizations such as CENELEC (European Committee for Electrotechnical Standardization), and several leading operators demand it from their suppliers.

The reason: formal verification increases safety and quality, and provides more efficient processes for otherwise costly and time-consuming safety testing. It has proven to be a valuable solution for the operator of the Paris metro, which has one of the most complex railway networks in the world.

Having established a broad customer base, Prover's technology solution is well positioned to become the industry standard for specification and automated engineering of interlocking systems. As more attention is being paid to green transportation systems, the railway industry is expected to continue to expand significantly in the coming years. Prover's relationship with Synopsys will enable Prover to take advantage of these growth opportunities.