CHIC is a modular verifier for behavioral compatibility checking of software and hardware components. The goal of CHIC is to be able to check that the interfaces for software or hardware components provide guarantees that satisfy the assumptions they make about each other. CHIC supports a variety of interface property specification formalisms. The algorithms implemented in CHIC are described in [dAH01a,dAH01b,CdAHJM02,CdAHM02,CdAHS03].
| Dirk Beyer | Arindam Chakrabarti |
| Krishnendu Chatterjee | Luca de Alfaro |
| Thomas A Henzinger | Marcin Jurdzinski |
| Freddy Y C Mang |
The code has been tested with Java 2
v1.3.0 and Java 2 v1.4.0 under various versions of Red Hat Linux and
SunOS, and should be compatible with Windows NT, Windows 2000 and most
standard unix environments. CHIC can be conveniently used as a plug-in
for the popular open-source Java IDE JBuilder, as well as the
heterogenous system modelling and design environment Ptolemy II developed at U
C Berkeley. It can also be
used as a command line tool.
Information about installation and an user manual are available from
the CHIC
Documentation Page (html). The same information is also available
in PostScript and Portable Document Format.
The CHIC Application Programming Interface (API) is available in html. Using this, you can also write your own programs using the CHIC library, which provides support for reading, writing and manipulating system descriptions in a variety of different interface formalisms, solving different kinds of games, etc.
| [dAH01a] | Interface
automata Luca de Alfaro and Thomas A. Henzinger. Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), ACM Press, 2001, pp. 109-120. |
| [dAH01b] | Interface
theories for component-based design Luca de Alfaro and Thomas A. Henzinger. Proceedings of the First International Workshop on Embedded Software (EMSOFT), Lecture Notes in Computer Science 2211, Springer-Verlag, 2001, pp. 148-165. |
| [CdAHJM02] |
Interface compatibility checking for
software modules Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Marcin Jurdzinski, and Freddy Y. C. Mang. Proceedings of the 14th International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science 2404, Springer-Verlag, 2002, pp. 428-441. |
| [CdAHM02] |
Synchronous and bidirectional component
interfaces Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, and Freddy Y. C. Mang. Proceedings of the 14th International Conference on Computer-Aided Verification (CAV), Lecture Notes in Computer Science 2404, Springer-Verlag, 2002, pp. 414-427. |
| [CdAHS03] |
Resource interfaces Arindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, and Marielle Stoelinga. Proceedings of the Third International Conference on Embedded Software (EMSOFT), Lecture Notes in Computer Science, Springer-Verlag, 2003. |
CHIC is one part of The Open Source Quality Project
(OSQ). The other parts of the OSQ project are:
Last update: March 4, 2004
This page is maintained by Arindam Chakrabarti
(arindam AT cs DOT berkeley DOT edu)