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|

Why Formal Verification – Verifying Safety Requirements on Railway Systems

The subject I am going to write about this time is not an easy one. I will try to explain why formal verification is good. In particular, why it is a good practice to use formal verification when verifying safety requirements on railway systems. The Verification Problem In order to make a convincing argument, I [...]

By |2019-01-31T11:16:12+01:00January 31st, 2019|Formal Methods, Formal Verification|