
CIF 3
The CIF 3 language features the following concepts:
CIF 3 is the next big new version of CIF, after CIF 1, and CIF 2, which were both developed in European projects, including among others HYCON, HYCON2, Multiform, and C4C. CIF 3 was redesigned from scratch. It has much simpler syntax and semantics. Furthermore, CIF 3 integrates concepts used for supervisory controller synthesis, directly in the language. The third and final major improvement of CIF 3 over CIF 2 is the tooling, which is much much faster, and provides much better user feedback.
Key CIF 3 publications:
Key CIF 2 publications:
Key CIF 1 publications: