LARA This is an old revision of the document! Lecture 1: General Information, Motivation, Demos, Background Overview Verification as Science Importance of Verification Proving Correctness of a Small Example and some recent results General Information Background Propositional Logic Informally Predicate Logic Informally Proofs and Induction Sets and Relations Theorem Prover Compiler Program Analyzer Computational Complexity Homework01 Questions01