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 [email protected]

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/