Course Objectives
At the end of this course, the student will:
know basic concepts in formal methods and verification
be able to use automated software verification techniques
be able to model software systems and formulate correctness properties in logical form