Foundations of Automated Software Verification

This is a course for undergraduate students in Spring of 2023, introducing basic principles and foundations of model checking such as logics (propositional and LTL), automata theory and model checking algorithms.

The teaching language is Chinese.