Page d'accueil du CNRS Page d'accueil de l'Université Paris Diderot Page d'accueil du LIAFA
LIAFA
Laboratoire d'Informatique Algorithmique: Fondements et Applications
CNRS et Université Paris Diderot
UMR 7089
   Annuaire      Contact      Accès au LIAFA      UFR d'informatique      Webmail   


English version




Page d'accueil de la Fédération de Recherche en Mathématiques de Paris Centre

Page d'accueil de la Fondation Sciences Mathématiques de Paris

Page d'accueil de Sciences En Marche
Logiciels

  • A BDD management library

  • DC2SDX: A Translator from DC to SynDEx

  • HFE: Some HFE cryptosystem related software

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

  • ParsiNet: PARSing Interface for NETworks

  • Semigroupe: A program for computing finite semigroups

  • TReX: A Tool for Reachability Analysis of CompleX Systems

  • PRESS: Analysis of Process Rewrite Systems

  • SPADE: Verification of Multithreaded Dynamic and Recursive Programs

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

  • PuMoC: A CTL Model Checker for Sequential Programs

  • GasTeX: Graphs and Automata Simplified in TeX

  • Vaucanson-G: A package for drawing automata and graphs
  •  
     ©  LIAFA 1995, dernière mise à jour: Janvier 2016 webmestre[at]liafa.univ-paris-diderot.fr