Foundations of Automated Software Verification
Undergraduate course, Software Engineering, ECNU, 2023
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.