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.