Installation

In addition to the VerChor distribution (see here) you need to install:

Then please take a look at the readme.txt in the VerChor distribution.

Examples of VerChor usage

See the guided tour and the readme.txt in the VerChor distribution.

Choreography Intermediate Format (CIF)

The XML schema description for CIF is available in the xml directory of the VerChor distribution.