CIF 3

CIF 3 simulator

The CIF 3 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.

Input/Output

Advanced