PAT: Process Analysis Toolkit

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

Specification Editor

Specification editor accepts the CSP specifications and LTL properties defined in How to write Process Definitions and How to write LTL Formulae respectively.

Specification editor has an extremely user friendly user interface with following features:

  • Complete text editing functions
  • Syntax highlighting
  • Multi-threading execution
  • Multi-documents environment