## Tools

Below you can find information about the individual applications of the CIF toolset.

Applications

The CIF toolset consists of applications that cover a wide range of functionality. The available applications are listed below.

Specification

- CIF text editor

Supervisory controller synthesis

- Data-based supervisory controller synthesis

- Event-based synthesis toolset

- CIF to Supremica transformer

Simulation, validation, and verification

- CIF simulator

- CIF to mCRL2 transformer

- CIF to UPPAAL transformer

- Controller properties checker

Real-time testing, code generation, and implementation

- CIF code generator

- CIF PLC code generator (stable)

- CIF PLC code generator (deprecated)

Miscellaneous

- CIF to CIF transformer

- CIF merger

- CIF event disabler

- CIF explorer

- CIF to yEd transformer

Scripting

The CIF tools can be used on the command line, as well as in the Eclipse IDE. They can also be used in ToolDef scripts. The following additional information is available on scripting related to CIF and ToolDef scripts:

- Introduction to scripting

- Overview of scriptable tools