SWE 619 Reading Reflection Number 8
Due Tuesday, October 17, 2023

  1. List the names of students in your group.
  2. Did everyone in your group contribute to the discussion of your solutions to this reading reflection? If not, who did not?
  3. What is your comfort level with "regular" logic? What aspect of using logic do you find most challenging?
  4. Do you have any experience learning and/or using temporal logic?
  5. How familiar/comfortable are you with finite state machines?