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
Advanced
- 
      ODE solver (integration and guard/event detection) 
Miscellaneous
Developers