Presentations

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