Dvlab Open WikiTicc provides an implementation of interface theories. Interface theories are A brief overview of Ticc is provided by the following paper:
B. Thomas Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy. Ticc: A Tool for Interface Compatibility and Composition. Technical Report ucsc-crl-06-01, School of Engineering, University of California, Santa Cruz, 2006. Postscript PDF
A longer, but still informal, overview is presented in the following technical report:
L. de Alfaro, M. Faella, A. Legay. An Introduction to the Tool Ticc. Technical report ucsc-crl-06-14, School of Engineering, University of California, Santa Cruz, CA 95064, USA, 2006. Postscript PDF
The theory and algorithms underlying Ticc are described in the following paper:
L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, P. Roy, M. Sorea. Sociable Interfaces. In FROCOS 2005: 5th International Workshop on Frontiers of Combining Systems, LNAI 3717, Springer-Verlag, 2005. Postscript PDF
Interface theories were originally developed by Luca de Alfaro and Thomas A. Henzinger, and published in two papers, which appeared in FSE 2001 and EMSOFT 2001.
Ticc is written in Ocaml, and it implements interfaces using symbolic methods. The symbolic implementation in Ticc is based on the package glu, which is part of VIS. We rely in particular on the CUDD package.
Further Reading
This bibliography: contains a list of papers and other readings that are relevant to Ticc.