CSP-Tracker is a tool able to automatically generate tracks from a given CSP specification.

You can either write down a CSP specification or choose one from the list of examples.

• Once the track is generated (Generate Track) it is possible to visualize it (View track).

• After the track is generated, we also show on Log the trace of the specification.

• It is possible to also generate a dynamic slice from the track (Generate Slice).

You can find a more detailed description of the tool here, including the source files.