LARA Exercise 10 Nikolai Kosmatov The SANTE Method: Value Analysis, Program Slicing, and Test Generation for C Program Debugging To follow, depending on time available: Herbrand Model for an Example Herbrand's Expansion Theorem Continued in Exercise 11