Day 0 - Pre Course Content

Lectures

Watch the following lectures by Certora's CEO Prof. Mooly Sagiv:

• "Auditing and Formal Verification - Better together" - Link.

Quiz

• Test your preliminary knowledge in propositional logic and properties of systems - Link.

• Check your answers against the official answers: Link

ℹ️ To get familiar with basic principles of propositional logic you can read the following sources:

1. Chapter 1 in the following book: Link written by Patrick Suppes.
2. Chapter 3.1 in the following link: Link.