Laying Out State Machine Properties
Take a look at the layout and details of finite-state properties.
We'll cover the following
The layout
State machine properties are very similar to regular stateful properties, conceptually speaking. They share the same three major components:
- A model, which represents what the system should do at a high level.
- A generator for commands, which represent the execution flow of the program.
- An actual system, which is validated against our model.
Since FSM properties are really a specialization of stateful properties, the differences are subtle.
Get hands-on with 1200+ tech skills courses.