CSP simulator takes in the specifications and allows users to perform various simulation tasks:
- Complete states generation based on the execution graph. The generation may not terminate if the states are not finite.
- Automatically Random Simulation with animation
- User interactive simulation with Step by Step execution
- Trace display and replay