1. Based on the text, describe two things about runtime verification that you personally find the most interesting and would like to explore more in CS 6156? 2. What part(s) of the text did you find most difficult to follow? 3. What are your top 2 questions about the text that you want answered in a future lecture? 4. Neither Lecture 1 nor the text gave a precise definition of runtime verification. How would you define runtime verification, based on your knowledge so far?