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