Introduction to State Machine Properties
Get introduced to state machine properties and why there is a need to use them.
We'll cover the following...
Finite state machines
Finite state machines (FSM) are, informally speaking, an abstraction describing specific stateful programs. The program can be in only one of the multiple known states at a time (such as a traffic light being red, yellow, or green). Transitions from one state to another are based on specific inputs or events. Within each ...