Formal Verification

Why the railway industry needs to modernize its methods of safety assurance

For the next big advancement in the development of faster and more efficient transportation, the railway industry has to go through a digital transformation. For this, safety is critical. The solution? New, more efficient verification methods. Perhaps the most apparent safety verification method is testing, and indeed, it is still the backbone of [...]

By |2020-11-28T09:17:17+01:00November 18th, 2020|Formal Verification|

Model Based Development Webinar with Ansys

Study our recorded webinar with Ansys Together with Ansys, we held a webinar on Formal Verification for Model-Based Development. Prover supplies the model checker PSL, which powers Ansys new SCADE Suite Design Verifier. It provides the new Design Verifier with a great leap in performance and enables state-of-the-art formal verification of SCADE-models, including IEEE 754 [...]

By |2020-09-24T06:37:46+01:00September 24th, 2020|Formal Verification|

Save the date – SDA Forum in Paris March 23rd

2017 an idea was born at Prover Technology. We wanted to create a forum for sharing experiences, 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 of [...]

By |2020-09-24T05:01:32+01:00June 23rd, 2020|Events, Formal Verification|

HLL crash course for Safety Engineers

Beginning May 18th, I led a four-day online crash course on HLL for a dozen Safety Engineers. Due to the French COVID-19 lockdown, the course was conducted via Microsoft Teams, alternating lectures and exercises. An online course is a very special experience: you can get very close to a student’s activities when sharing terminals and [...]

By |2020-06-10T07:27:51+01:00June 10th, 2020|Formal Verification, HLL – High Level Language|

Increased railway safety using signaling design automation

In this, the third and final, blog post on Signal Design Automation we will look at how Formal Verification and automation are used at Stockholm Metro to increase railway safety. The rail-based public transport system in Stockholm, Sweden is relatively complex and diverse with a combination of subway, light rail and heavy rail. It also [...]

By |2020-05-12T15:44:35+01:00May 12th, 2020|Formal Verification, Signaling Solutions|

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 |2020-02-10T07:14:57+01:00February 10th, 2020|Formal Methods, Formal Verification|
Load More Posts
Go to Top