Introduction to State Machine Properties

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