gitlab.inria.fr / regular-pv / timbuk
regular-pv/timbuk/timbuk
A regular verification framework based on Tree Automata and Term Rewriting Systems.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0
regular-pv/timbuk/ocaml
An OCaml toplevel build with Timbuk.
dernière synchronisation: il y a environ un an - étoiles: 0 - forks: 0