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
   Staff      Contact      How to get to LIAFA      Teaching      Webmail   


Version fran├žaise




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
Software

  • 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, Last updating: 2016, January webmestre[at]liafa.univ-paris-diderot.fr