Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
This introductory talk explains how formal verification tools and techniques are used in safety-critical industry, including IEC 61508, end-to-end verification, annotated specifications, and property-based approaches. It shows how these methods can be adapted to existing system infrastructure through nuclear plant and smart sensor examples.
