Getting Started with Formal Verification

Online or face-to-face

A gentle introduction to formal verification

Kick-start scalable formal verification

Course Outline