• Ticc
• Examples

For each example, such as "example", you will find two files:

• example.si is the input model for Ticc; the extension .si stands for sociable interfaces.

• example.in is the script you need to run to "execute" the example (compose the interface modules, print out the results, etc.). If you want to execute the whole example, do: ticc example.in on the command line. You can also simply open example.in in an editor, and cut-and-paste the lines you are interested in into your Ocaml/Ticc top level.

Under the directory ticc/examples you will find at least the following examples:

• The directory ticc/examples/frocos05 contains the examples related to the FROCOS 05 paper.

• The directory ticc/examples/tests contains some regression tests useful to the development team.

• The directory ticc/examples/etc contains several examples in draft form. This directory is not distributed as part of the Ticc release.

• The directory ticc/examples/tutorial contains examples that are higly documented. Read the README file that describes the main features of those examples.

• An explanation of the house example.