LARA This is an old revision of the document! Lecture 1: General Information, Motivation, Demos, Background Overview Verification as Science Proving Correctness of Some Small Examples Importance of Verification General Information Background and Its Role in This Class Propositional Logic Informally Predicate Logic Informally Theorem Prover Compiler Computational Complexity Proofs and Induction Sets and Relations Homework01 Comments01