T

timbuk

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