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