
We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover have entered into a long-term agreement for the supply of Prover’s Signal Design Automation product suite Prover Trident. The initial focus is to further strengthen CASCO’s position as a leading supplier of signaling systems for China’s railway segment, by the use of state-of-the-art formal verification technologies. This will help increasing delivery capacity by removing bottlenecks in the V&V process, reduce time to market and meet Infrastructure Manager expectations on formally verified systems.
Formal Verification is growing globally
The demand for Formal Verification within the railway signaling domain is growing globally. Formal Verification is often required by end-customers and is highly recommended or mandated by development standards. The main driver behind this is the growing system complexity, making traditional safety verification techniques insufficient and too costly. Formal Verification can be highly automated and is the most efficient way to provide safety evidence complying with the most rigorous safety standards. This imposes strict requirements on the formal verification tools. In the Prover Trident solution these requirements are met by the independent sign-off verification tool Prover Certifier, the only verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using formal verification.
Prover has established a support team in Shanghai that will work closely together with the engineering team of CASCO to ensure a smooth integration of the Formal Verification tools in CASCO’s development process, ensuring that business values are maximized. This support team consists of senior engineers with extensive experience of formal methods, software development and railway signaling. It is our strong belief that Signal Design Automation with Formal Verification is the only way to supply signaling systems to the fast-growing railway network in China, and our team is dedicated to make it happen.
Share this article

Learn more about how to develop specifications with Digital Twins
Fill out your information here.
More News & Articles
Explore how Prover is revolutionizing railway signaling with AI and formal methods. Discover Prover Labs: a hub for innovation, collaboration, and shaping AI-driven automation for enhanced safety, efficiency, and precision in signaling design.
Prover introducing Signaling Design Automation to students at CentraleSupélec in Paris.
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.