Topics in Algorithms 2007 Ramesh Hariharan. Tree Embeddings.
2-Valued and 3-Valued Abstraction-Refinement Frameworks for Model Checking
Model Checking and Related Techniques Liu Yang. Outline Model Checking Techniques – Introduction to MC – Symbolic Model Checking – Bounded Model Checking.