Module 2: Types 1, Data
Types 1
Data
- 1. Discrete variables
- 2. Discrete variable value changes
- 3. Location/variable duality (1/2)
- 4. Location/variable duality (2/2)
- 5. Global read, local write
- 6. Old and new values in assignments
- 7. The
tau
event - 8. Initial values of discrete variables
- 9. Initialization predicates
- 10. Locations as boolean variables
- 11. State (exclusion) invariants
Exercises: Types 1
Exercises: Data
Canvas quiz
Test your knowledge in the Canvas quiz of Module 2.
The deadline for the Canvas quiz can be found in the study guide and in the assignment in Canvas. The Canvas quiz contributes to your final grade. More on this can be found in the study guide.