Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel CiME
CiME - CiME: une boîte à outils pour la démonstration automatique.
Date de dernière version : 01 janvier 2013

Responsable : 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


    Pour en savoir plus: http://cime.lri.fr

    Logiciel - Licence : CeCILL-C



    Activités de recherche
      Démonstration automatique

    Membres
      CONTEJEAN Evelyne
      MARCHÉ Claude
      URBAIN Xavier

    Equipe
      Vérification d'Algorithmes, Langages et Systèmes

    Equipe-projet Inria
      Toccata
  • Logiciels et brevets
    TOUCHTOKENS
    Low-cost Solution for Tangible Interfaces

    LODATLAS
    Browsing Linked Data Catalogs with LODAtlas

    BOLDR
    Query Intermediate Representation Library