Formal Verification

CASCO Signal Ltd. licenses Formal Verification solution from Prover Technology

We are happy to announce that CASCO Signal Ltd. (CASCO) and Prover Technology (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 [...]

By |2019-09-03T11:56:00+01:00September 3rd, 2019|Company News, Formal Verification|

Save the date – SDA Forum in Shanghai Nov 6

2017 an idea was born at Prover Technology, we wanted to create a forum for sharing experiences and best practices, and for networking. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation and formal verification– software technologies to automate design and verification [...]

By |2019-09-17T09:02:35+01:00July 8th, 2019|Events, Formal Verification|
Load More Posts
Go to Top