Section: New Software and Platforms

Timbuk

Keywords: Automated deduction - Ocaml - Program verification - Tree Automata - Term Rewriting Systems

Functional Description: Timbuk is a tool designed to compute or over-approximate sets of terms reachable by a given term rewriting system. The libray also provides an OCaml toplevel with all usual functions on Bottom-up Nondeterministic Tree Automata.

• Participant: Thomas Genet

• Contact: Thomas Genet

• URL: http://people.irisa.fr/Thomas.Genet/timbuk/index.html