IF2Timbuk
Copyright (C) 2012 CORRE Kevin
IF2Timbuk is a java tool translating Intermediate Format (IF) to a Timbuk specification. The if file is read by a AntLR parser, thus AntLR is needed to run this program.
Contact CORRE Kevin kevin.corre@etu.univ-orleans.fr
IF is a protocol specification format from the Avispa project. More can be found on this subject on Avispa project site
Timbuk is a collection of tools for achieving proofs of reachability over Term Rewriting Systems and for manipulating Tree Automata (bottom-up non-deterministic finite tree automata). http://www.irisa.fr/celtique/genet/timbuk/
ANTLR, ANother Tool for Language Recognition, is a language tool that provides a framework for constructing recognizers, interpreters, compilers, and translators from grammatical descriptions containing actions in a variety of target languages. http://www.antlr.org/