In reply to Muthamizh:
The absolut minimum is to verify all transitions from one state to another one.