Applicable and Achievable Formal Verification

The course provides an introductory overview of formal verification tools and techniques deployed in the industry, particularly in safety-critical systems. It aims to dispel misconceptions about the applicability and automation of formal verification, showcasing how these techniques can be adapted to existing system infrastructures. The course covers topics such as safety-critical systems, verification standards, end-to-end verification examples, vulnerability assessment tools, and the benefits of specifications. The intended audience for this course includes professionals interested in understanding and implementing formal verification techniques in their system infrastructure.