---

An introduction to Verification

In this lecture, we present an elementary introduction to the model checking approach to program verification.