Working with critical systems raises many safety related challenges. The traditional processes tend to perform manual reviews and testing activities on later stages of the projects, making every safety issue uncovered costly and time-consuming. And given the nature of the activities (usually human inputs + manual tasks), demonstrating safety is a hefty task.
In this talk, we will present formal verification, a mathematic based technique, that can help carry safety considerations early on and enable automation throughout the verification process. We will reflect upon the methodology usage in different processes, and share some of our experiences on these kind of activities.
Speaker: Sara El Mennaoui - Prover
The program is held in english
Programpunkten kommer att hållas på engelska