Automatic Verification for Intelligent Systems

Graduate course, Software Engineering, ECNU, 2022

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.