o A BDD management libraryo DC2SDX: A Translator from DC to SynDExo HFE: Some HFE cryptosystem related softwareo LTL 2 BA: Fast translation from LTL formulae to Buchi automatao ParsiNet: PARSing Interface for NETworkso Semigroupe: A program for computing finite semigroupso TReX: A Tool for Reachability Analysis of CompleX Systemso PRESS: Analysis of Process Rewrite Systemso SPADE: Verification of Multithreaded Dynamic and Recursive Programso CINV: A tool providing several abstract domains for generating invariants on singly linked lists with numerical contents