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