Slide 1 272: Software Engineering Fall 2008 Instructor: Tevfik Bultan Lectures 8 and 9: Model Checking Programs Slide 2 Transformational vs. Reactive Systems Transformational…
