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
Input/output
Environment events (non-urgent events)
Advanced
ODE solver (integration and guard/event detection)
Miscellaneous
Developers