Mentions légales du service

Skip to content

GitLab

Explore

Sign in

T

timbuk

Project information

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

556 Commits
6 Branches
5 Tags
1 Release

README
GNU LGPLv2.1

Created on

January 30, 2018

Copy SSH clone URLgit@gitlab.inria.fr:regular-pv/timbuk/timbuk.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/regular-pv/timbuk/timbuk.git

Loading