Software reliability is often invisible… until it isn’t. What if systems could be proven safe before anything goes wrong?
On 31 March (14:00–16:00 CET), the STORM_SAFE (Interreg North Sea Programme) webinar shared valuable real-world insights into how formal methods can improve the reliability of critical infrastructure, from bridges and locks to storm surge barriers.
💡 In just two hours, participants discovered:
✔ How formal methods strengthen safety and reliability
✔ Real-life applications from pilot projects
✔ Lessons learned from organisations applying these methods in practice
The session brought together professionals from mission-critical sectors responsible for safety, reliability, and resilience in complex systems — including water management, transport, and energy. Companies and organisations working with other mission-critical systems also joined to explore ways to strengthen their software reliability.
Missed the webinar or want to revisit the insights?
👉 You can watch the recording here: https://youtu.be/Gw-t7vjYRys?si=fW4mziv8IxIopDEc
👉 You can view the presentation of the webinar Formal Methods below.
👉 If, after watching the webinar, you are interested in staying informed about the progress of the STORM_SAFE project, or if you would like to schedule a meeting to explore the topic in more depth, please feel free to reach out. You can use this online form: STORM_SAFE Webinar: Feedback & Future Engagement
