## CIF simulator

The CIF simulator can be used to explore the state space of CIF specifications, either interactively, or using a more automated approach. Powerful visualization features allow for interactive visualization-based validation of the CIF specification.

Basics

- Supported specifications

- Starting the simulator

- Initialization of the CIF specification

- Terminating the simulator

- Simulation of traces

- Repeated simulation

Input/output

- Input modes

- Non-urgent events

- Simulation output

Advanced

- Simulator options

- Simulation performance

- ODE solver (integration and guard/event detection)

- Java compiler

Miscellaneous

- Execution mode

- Complete mode

- External user-defined functions

- Profiling

- Stochastic distributions and seeds

Developers

- Maximum time point tolerance

- Debugging generated code

- Test mode