Page d'accueil du CNRS Page d'accueil de Paris Diderot Page d'accueil du LIAFA
LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS UMR 7089, Université Paris Diderot - Paris 7, Case 7014
75205 Paris Cedex 13 - Tél: +33(0)1.57.27.92.56 - Fax: +33(0)1.57.27.94.09
Page d'accueil de la fondation Sciences Mathématiques de Paris Page d'accueil de FRMPC
   Annuaire      Contact      Accès au LIAFA      UFR d'informatique      Webmail   


English version

Outils scientifiques

o A BDD management library

o DC2SDX: A Translator from DC to SynDEx

o HFE: Some HFE cryptosystem related software

o LTL 2 BA: Fast translation from LTL formulae to Buchi automata

o ParsiNet: PARSing Interface for NETworks

o Semigroupe: A program for computing finite semigroups

o TReX: A Tool for Reachability Analysis of CompleX Systems

o PRESS: Analysis of Process Rewrite Systems

o SPADE: Verification of Multithreaded Dynamic and Recursive Programs

o CINV: A tool providing several abstract domains for generating invariants on singly linked lists with numerical contents

 
 ©  LIAFA 1995, dernière mise à jour: Janvier 2012 webmestre[at]liafa.jussieu.fr