gitlab.inria.fr / regular-pv / timbuk
regular-pv/timbuk/timbuk
A regular verification framework based on Tree Automata and Term Rewriting Systems.
Last synced at: 7 months ago - Stars: 0 - Forks: 0
regular-pv/timbuk/ocaml
An OCaml toplevel build with Timbuk.
Last synced at: 7 months ago - Stars: 0 - Forks: 0