gitlab.inria.fr / regular-pv 1 Repository
Regular program verification related projects, papers and presentations.
regular-pv/timbuk/timbuk
A regular verification framework based on Tree Automata and Term Rewriting Systems.
Last synced at: 8 months ago - Stars: 0 - Forks: 0
regular-pv/timbuk/ocaml
An OCaml toplevel build with Timbuk.
Last synced at: 8 months ago - Stars: 0 - Forks: 0