PAT: Process Analysis Toolkit

An Enhanced Simulator, Model Checker and Refinement Checker for Concurrent and Real-time Systems

CSP Simulator

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