Description: Introduction to the theory and practice of formal methods for the design and analysis of systems, with a focus on automated algorithmic techniques. Formal verification. Functional correctness. Model checking. Runtime verification. Simulation based verification. Equivalence checking. Temporal logic. Binary decision diagrams. Satisfiability based model checking. Partial order reduction. Applications in hardware and software verification.