LARA This is an old revision of the document! Lecture 1: General Information, Motivation, Demos, Background Overview Verification as Science Importance of Verification Correctness of Iterative Squaring Jahob Demo Calculus of Computation Textbook General Information Background Propositional Logic Informally Predicate Logic Informally Proofs and Induction Sets and Relations Theorem Prover Compiler Program Analyzer Computational Complexity Homework 1 Questions and Answers References