VLOG - How can formal methods contribute to safer and more reliable critical infrastructure?

How can formal methods contribute to safer and more reliable critical infrastructure?

In close collaboration with infrastructure operators and international partners, STORM_SAFE applies these methods in real-world projects involving bridges, locks, and barriers across Europe. In this vlog, Martijn Goorden (Eindhoven University of Technology) explains how academic research is translated into practical solutions that are shaping the future of critical infrastructure.