How State Machine Properties Run

Explore the execution process of state machine properties in PropEr, focusing on the abstract phase where test scenarios are generated and the real phase where commands are applied to the system, ensuring proper validation through preconditions and postconditions.