Model Checking Foundations and Applications Tevfik Bultan Department of Computer Science University of California, Santa Barbara [email protected] bultan
272: Software Engineering Fall 2008 Instructor: Tevfik Bultan Lectures 8 and 9: Model Checking Programs.