Automatic Verification for Intelligent Systems

This is a course for graduate students in Autumn of 2022, introducing

• basic principles and foundations of model checking such as logics (propositional and LTL), automata theory and model checking algorithms;
• advanced model checking techniques like BMC, IC3/PDR and CAR;
• Applications of model checking, e.g., hardware verification and railway interlocking verification.

The teaching language is Chinese.