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 |2021-11-20T12:00:42+01:00February 10th, 2020|Formal Methods, Formal Verification|

Floating Point Model Checking

We at Prover are very happy to announce the release of version 4.0 of our model checker Prover SL CE (PSL). The most interesting new feature is support for IEEE 754 floating point calculations, so I will dedicate this technical blog post to floats with a concrete example of a floating point system which we [...]

By |2020-02-21T13:26:22+01:00November 4th, 2019|Formal Verification, Product News|

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 |2021-11-20T12:03:26+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|
Go to Top