TRAG
- Description
- TRAG: Term Rewriting Automata and Graphs
- Domaines d'utilisation
- formal methods
- Contributeurs LaBRI
- Irène Durand, Bruno Courcelle, Michael Raskin
- Dépôt du code source
- https://bitbucket.org/idurand/trag
- Licence(s) de distribution
- CeCILL-C
- OS supportés
- Linux, MacOS
- Plus d'informations
- https://trag.labri.fr