gitlab.inria.fr / regular-pv 1 Dépôt
Regular program verification related projects, papers and presentations.
regular-pv/timbuk/timbuk
A regular verification framework based on Tree Automata and Term Rewriting Systems.
dernière synchronisation: il y a plus d'un an - étoiles: 0 - forks: 0
regular-pv/timbuk/ocaml
An OCaml toplevel build with Timbuk.
dernière synchronisation: il y a plus d'un an - étoiles: 0 - forks: 0