1.9 State Machines - Invariants

State Machine Invariants

  1. What are the states in the Die Hard example?

    Exercise 1
  2. The preserved invariant for the state machine in the Die Hard Once For All example is:

    Exercise 2
  3. Which of the following are valid states for the robot's location in the Diagonal Robot example?

    Exercise 3

  4. Which of the following is true about Floyd's Invariant Principle?

    Exercise 4