Tree Automata for Reachability in Rewriting

Please install Timbuk and check the installation by either:

(Preferred solution) Downloading this archive, uncompress it, and open the index.html file of the TimbukOnLine folder in your browser. Then, check that your Timbuk/Taml installation is working by running the default example that is opened in the editor. If the editor takes to much time to open (more than 20 seconds), you'd better use the source version instead.

Downloading and compiling the source version of Timbuk 3.2. See the README file in the archive for compilation and installation instructions. You will need a full OCaml compiler and OCamlbuild. Then, check that your Timbuk/Taml installation is working by running the examples (Timbuk and Taml) given in the README. You'd better also install 'rlwrap' with your package installer for nicer interaction with Taml.

Find here the Slides the tutorial examples files and the solutions.