Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Software & patents
Research results
CiME
CiME - CiME: a tool box for automated deduction.


Person in charge : CONTEJEAN Evelyne


  • CiME 3 is a rewriting toolbox that provides Coq certificates for termination proofs (standard rewriting) obtained using various criteria:
    • Dependency pairs:
      • plain/marks,
      • graphs refinements with or without sub-term criterion
    as well as various orderings:
    • Polynomial interpretations,
    • Matrix interpretations,
    • Full RPO with status, with AFS refinements


    More information: http://cime.lri.fr

    - Licence : CeCILL-C



    Research activities
      Automated deduction

    Members
      CONTEJEAN Evelyne
      MARCHÉ Claude
      URBAIN Xavier

    Group
      Verification of Algorithms, Languages and Systems
  • Software & patents
    BSP++
    The C++ Bulk Synchronous Parallelism Library

    TAXOMAP ALIGNMENT
    A prototype to automate semantic mappings between taxonomies

    FR1155729
    Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé