No video available
Please refer to the materials section for this topic.
Temporal Logic of Actions & State Variables
Learning Objectives
- •Variables, constants, and state predicates
- •Primed vs unprimed variables (`x'` vs `x`)
- •Defining state transitions as boolean formulas
Weekly Outcome
Master the core concepts of modeling systems as state machines in tla+.