A regular verification framework based on Tree Automata and Term Rewriting Systems.

Name
Last commit
Last update
bin Loading commit data...
doc Loading commit data...
libs Loading commit data...
tests Loading commit data...
utils Loading commit data...
.gitignore Loading commit data...
LICENSE Loading commit data...
META Loading commit data...
Makefile Loading commit data...
Makefile.config Loading commit data...
README.md Loading commit data...
TODO.md Loading commit data...
VERSION Loading commit data...
shell.nix Loading commit data...
timbuk.opam Loading commit data...