Version:
v7.0
[release notes]

# CIF

CIF is a declarative modeling language for the specification of discrete event, timed, and hybrid systems as a collection of synchronizing automata.

The CIF tooling supports the entire development process of controllers, including among others specification, supervisory controller synthesis, simulation-based validation and visualization, verification, real-time testing, and code generation.

Combined they enable a synthesis-based engineering approach to efficiently and cost-effectively design and implement high-quality controllers.

Learn more

# Features

## Powerful language

CIF features a powerful declarative automata-based modeling language for the specification of discrete event, timed and hybrid systems.

## Extensive tools

The CIF tooling supports the entire development process of controllers, from specification to code generation.

## World-class algorithms

The CIF toolset features world-class algorithms for automatic synthesis of supervisory controllers. Focus on the what rather than the how!

Learn more

# Getting started

The CIF tooling is part of the Eclipse ESCET toolkit.

It is available for Windows, Linux and macOS, portable and ready to go.

Download

## CIF

Learn more about CIF from the extensive documentation that covers both the CIF language and tools, as well as their usage:

- CIF documentation home page
- CIF synthesis-based engineering
- CIF language tutorial
- CIF language reference
- CIF tools
- CIF examples
- CIF history (and why it's called 'CIF')
- CIF release notes

## Eclipse ESCET

CIF is part of the Eclipse ESCET open-source project. Learn more about the project and toolkit:

- Eclipse ESCET project
- Eclipse ESCET general toolkit documentation
- Eclipse ESCET synthesis-based engineering course
- Eclipse ESCET contact and support
- Eclipse ESCET license and legal information