...

/

Introduction to State Machine Properties

Introduction to State Machine Properties

Get introduced to state machine properties and why there is a need to use them.

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 ...