At the NATO Summer School, Marktoberdorf, 2001:
Model Checking, Abstractions and Reductions
At the CONCUR’02 workshop on Parallel and Distributed Model Checking (PDMC 2002):
Tutorial on Directions in Parallel and Distributed Model Checking
At the NATO Summer School, Marktoberdorf, 2007:
Automatic Refinement and Vacuity Detection in Symbolic Trajectory Evaluation (STE)
Introductory Lecture on Model Checking (3 hours) at National Taiwan University, 2009:
Introduction to Model Checking (3 hours)
At the NATO Summer School, Marktoberdorf, 2009:
“3-Valued Abstraction and Its Applications in Model Checking”
At the NATO Summer School, Marktoberdorf, 2011:
“From BDDs to Interpolation”
At the NATO Summer School, Marktoberdorf, 2013:
“SAT-based Model Checking: Interpolation, IC3, and Beyond”
At the NATO Summer School, Marktoberdorf, 2015:
“Compositional Model Checking”
At the NATO Summer School, Marktoberdorf, 2017:
“Program Repair and Semantic Difference for Program Versions”
lecture 1 – Intro
Lecture 2 – program repair
Lecture 3-4 – program differencing