Timbuk
Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata).
[ Homepage ]
| Author: | Valérie Viet Triem Tong and Thomas Genet. |
| Last modification date: | 05-Apr-2002 |
| Version: | 2.0 |
| Development status: | Stable |
| Kind: | Libraries :: Native OCaml libraries |
| Applications written in Caml :: Scientific software | |
| License: | Open Source :: GPL |
| Topic: | General purpose libraries :: Data structures |
| Science | |
| Homepage: | http://www.irisa.fr/lande/genet/timbuk/ |